-
poi
A pragmatic point-free theorem prover assistant
-
hooo
Propositional logic with exponentials
-
graph_solver
An undirected graph constraint solver for node and edge colors
-
prop
Propositional logic with types in Rust
-
lsts
Large Scale Type Systems
-
monotonic_solver
A monotonic solver designed to be easy to use with Rust enum expressions
-
advancedresearch-toy_model_of_physical_seshatic_identity
toy model for physical Seshatic identity that satisfies the holographic principle
-
linear_solver
A linear solver designed to be easy to use with Rust enum expressions
-
caso
Category Theory Solver for Commutative Diagrams
-
mm0_util
MM0/MM1 language utilities
-
last_order_logic
An experimental logical language
-
reachability_solver
A linear reachability solver for directional edges
-
mm0b_parser
parsing tools for Metamath Zero's MMB binary format
-
debug_sat
A debuggable automatic theorem prover for boolean satisfiability problems (SAT)
-
path_semantics_std
type checked implementation of the standard dictionary of path semantics using constrained functions
-
metamath-rs
manipulating Metamath databases, including a parallel and incremental verifier for Metamath databases
-
pythagore_tina
Solve the Pythagorean Theorem
-
pytha_calc
command-line Pythagorean Theorem calculator
-
tsum_calc
command-line Triangle Sum Theorem calculator
-
departed
that provides some of the benefits of dependent types using the Ghosts of Departed Proofs technique
-
equidistributed-colors
Iterator over colors which are distributed evenly according to the equidistribution theorem
-
pythagoras
Theorem
-
qip-macros
A procedural macro for QIP
Try searching with DuckDuckGo.