GitXplorerGitXplorer
m

float-proofs

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
4770f7e32ebbb5cc524ee69e8127acc22099235d

Prove remaining main theorems.

mmdickinson committed 9 years ago
Unverified
52104a6ad69984c3a4281b8e42ce932f5d3e043d

Add another case of the main theorem.

mmdickinson committed 9 years ago
Unverified
59d951e9824454e5761bc5498fc3bbde0cb8a429

Break out is_integer into its own module.

mmdickinson committed 9 years ago
Unverified
1b601d47beca38aad7e2330d614ed35909ad5847

Merge pull request #3 from mdickinson/cleanup

mmdickinson committed 9 years ago
Unverified
f47087afbdfc557bd84777b07a8032a3c2ed53d4

Tidy up floor_and_ceiling; remove unused theorems, and replace uses of some of the odder theorems.

mmdickinson committed 9 years ago
Unverified
ab91277f7e3cb35bc1b1ffbf2a6b084653fee563

Clean up floor and ceiling main theorems.

mmdickinson committed 9 years ago