impermeable
Pinned Loading
Repositories
Showing 10 of 13 repositories
- waterproof-vscode Public
impermeable/waterproof-vscode’s past year of commit activity - coq-waterproof Public
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
impermeable/coq-waterproof’s past year of commit activity - impermeable.github.io Public
impermeable/impermeable.github.io’s past year of commit activity - waterproof-exercise-sheets Public
Examples of Waterproof exercise sheets used for teaching Analysis 1 at the TU/e.
impermeable/waterproof-exercise-sheets’s past year of commit activity - waterproof Public
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
impermeable/waterproof’s past year of commit activity - opam-coq-archive Public Forked from rocq-prover/opam
Archive for all Coq related OPAM packages organized in various repositories
impermeable/opam-coq-archive’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…