batteries icon indicating copy to clipboard operation
batteries copied to clipboard
verified publisher icon leanprover-community

feat: redefinition of `Float` functions using axioms and proofs about `Float`

Open Rob23oba opened this issue 9 months ago • 0 comments

This PR adds definitions for several Float functions (through axioms) and proves several theorems about Float. This is currently a WIP experiment.

Rob23oba avatar Feb 19 '25 17:02 Rob23oba