Pinned Repositories
Gravity_Simulation
lean-cwarning
lean-dbg
lean-hammertest
lean-perf
lean-pext
Lean_Example
Lean Examples
SimpleProject
SootPointerAnalysis
std4
Standard Library for Lean 4
PratherConid's Repositories
PratherConid/WLWAdversarial
PratherConid/Gravity_Simulation
PratherConid/lean-cwarning
PratherConid/lean-dbg
PratherConid/lean-hammertest
PratherConid/lean-perf
PratherConid/lean-pext
PratherConid/Lean_Example
Lean Examples
PratherConid/SimpleProject
PratherConid/SootPointerAnalysis
PratherConid/std4
Standard Library for Lean 4
PratherConid/System_Description
PratherConid/zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.