waterproof
by impermeable
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
AI summary
Proof notebook
An interactive notebook environment for writing and proving mathematical proofs in a logical language
- stars
- 40
- forks
- 6
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Proof writer
Helps write formal proofs in a more readable format
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
Zero-knowledge proof library
A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values.
AI protection
Research-focused notebooks on developing robust and secure AI models against adversarial attacks
Proof platform
A platform that exposes Coq proofs to machine learning algorithms
Notebook tester
Tools for validating and testing Jupyter notebooks with automated execution and output comparison
Proof system
A high-speed recursive proof system for cryptographic primitives
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
Notebook framework
Enables development of Jupyter Notebooks as Python code with embedded Markdown text
Machine learning notebooks
A collection of incomplete machine learning experiments in Jupyter Notebooks
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
Proof assistant library
Python bindings for Coq's interactive proof assistant
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
DL notebooks
Repository providing example notebooks for Deep Learning applications with TensorFlow and Earth Engine.
impure computation framework
A framework for specifying and verifying impure computations in a formal proof assistant
Featured in 1 awesome list
Each link jumps to the spot where the list mentions waterproof.
