KalkulierbaR / kalkulierbarLinks
Learning Framework for Logic Calculi
☆16Updated this week
Alternatives and similar repositories for kalkulierbar
Users that are interested in kalkulierbar are comparing it to the libraries listed below
Sorting:
- A program for making zooming slides in figma.☆38Updated last month
- Materials for OPLSS 2021☆11Updated 4 years ago
- ☆11Updated last week
- Write C shims from within Lean code.☆66Updated 3 weeks ago
- A toolkit for enforcing logical specifications on neural networks☆108Updated this week
- SMTInterpol interpolating SMT solver☆67Updated last month
- A (WIP) equality saturation tactic for Lean based on egg.☆66Updated this week
- A Haskell probabilistic programming library.☆19Updated 3 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆244Updated 4 months ago
- JaTyC: a typestate checker for Java☆17Updated 6 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 3 weeks ago
- Analytic sampler compiler for combinatorial systems☆30Updated 3 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- Analytic sampler framework for algebraic data types☆16Updated 2 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆10Updated last week
- Python client for coq-lsp☆39Updated last month
- ☆17Updated 3 months ago
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- Mathlib search tool☆97Updated 3 weeks ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆42Updated this week
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- The Termination Problem Database☆30Updated last week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- A WIP definitional (co)datatype package for Lean4☆41Updated last week
- ☆21Updated 3 years ago
- AE-solver and Skolemizer☆17Updated 8 months ago
- Genetic program repair using GHC☆30Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆265Updated this week
- Communication between Coq and SAT/SMT solvers☆160Updated 10 months ago
- Convert Haskell source code to Coq source code.☆86Updated last month