monasticacademy / logical-induction
Code to support the guide to logical induction for software engineers
☆11Updated last month
Alternatives and similar repositories for logical-induction:
Users that are interested in logical-induction are comparing it to the libraries listed below
- Haskell bindings to SymEngine☆25Updated last year
- ☆36Updated 9 years ago
- ☆13Updated 3 years ago
- ☆16Updated 4 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Formalizing stochastic doubly-efficient debate☆102Updated 6 months ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Metamath verifier in Python☆38Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- ☆21Updated last year
- Reversible programming in Agda☆12Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last month
- Tool to analyse the import structure of lean projects.☆11Updated 2 weeks ago
- A collaborative environment for formal, interoperable, conceptual modeling☆73Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- ☆47Updated 11 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- ☆44Updated 2 years ago
- Python talking to the Lean theorem prover☆43Updated 3 years ago
- An environment for learning formal mathematical reasoning from scratch☆66Updated 8 months ago
- ACSets: Algebraic databases as in-memory data structures☆23Updated this week
- a datastructure for scalable combinatorial syntax☆18Updated last month
- How to read Lean☆17Updated 2 months ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Building group theory from scratch in Lean☆59Updated 4 years ago
- Plain-text declaration export for Lean 4☆14Updated 6 months ago
- Real number computation software☆123Updated 2 years ago
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago