GitXplorerGitXplorer
m

float-proofs

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
8862c6d0113b2d5a6e4b2a3df7b3763248750cfb

Revise the roundtrip note, adding two missing proofs.

mmdickinson committed 9 years ago
Unverified
f8327d9331211269c0d4cf5b509f6b2b3cf4da55

Fix a typo in the roundtrip definition.

mmdickinson committed 9 years ago
Unverified
20840698fda722473c4a42b62ce5e449d723408d

Add notes on base conversion.

mmdickinson committed 9 years ago
Unverified
64cdef8f7d848fa3e267f54d2d2118306a74d20a

Fix up proof for compatibility with Coq 8.5.

mmdickinson committed 9 years ago
Unverified
b05c6502cfcaf71b2adbb0dcc961fbf77a9e730b

Add project file for the benefit of Proof General.

mmdickinson committed 9 years ago
Unverified
56625bd9f7a56a9d101c1be9c1bb7fcd2cbc5344

More cleanup; make better use of auto in floor_and_ceiling.v.

mmdickinson committed 9 years ago