Pinned Repositories
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.