waterproof
waterproof copied to clipboard
Published
20 hours ago •
impermeable
impermeable
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Results
31
waterproof issues
Sort by
recently updated
recently updated
newest added
This includes the work done to : - parse the AST returned by SerAPI for sentences written in the editor. - port the tactics library to Ltac2 - create an...
Metadata
38
Stars
5
Forks
Watchers
Owner
Metadata
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.