waterproof
Proof notebook
An interactive notebook environment for writing and proving mathematical proofs in a logical language
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
40 stars
3 watching
6 forks
Language: JavaScript
last commit: 10 months ago
Linked from 1 awesome list
coqserapi
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
| impermeable/coq-waterproof | Helps write formal proofs in a more readable format | 33 |
 ilyasergey/pnp | A tutorial project on using Coq to mechanize mathematics with dependent types | 160 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 534 |
 clementsicard/reliable-and-trustworthy-ai-notebooks | Research-focused notebooks on developing robust and secure AI models against adversarial attacks | 1 |
 ml4tp/gamepad | A platform that exposes Coq proofs to machine learning algorithms | 72 |
 computationalmodelling/nbval | Tools for validating and testing Jupyter notebooks with automated execution and output comparison | 446 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 722 |
 starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 261 |
 elehcimd/pynb | Enables development of Jupyter Notebooks as Python code with embedded Markdown text | 250 |
 ogrisel/notebooks | A collection of incomplete machine learning experiments in Jupyter Notebooks | 566 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 stepchowfun/proofs | A personal repository of formally verified mathematics using the Coq proof assistant | 292 |
 gee-community/ee-tensorflow-notebooks | Repository providing example notebooks for Deep Learning applications with TensorFlow and Earth Engine. | 76 |
 lthms/freespec | A framework for specifying and verifying impure computations in a formal proof assistant | 52 |