nonilole / Conan
A proof editor for first order logic
☆26Updated 3 years ago
Alternatives and similar repositories for Conan:
Users that are interested in Conan are comparing it to the libraries listed below
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆66Updated this week
- A web-based graphical proof assistant for LK and Hoare logic.☆34Updated 2 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- Untitled PL Card Game☆20Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- A proof assistant for higher-dimensional type theory☆157Updated last month
- Embeddable Lambda Prolog Interpreter☆296Updated this week
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- PhD course on Functional Programming and Climate Impact Research☆49Updated 2 months ago
- a proof-of-concept programming language based on Call-by-push-value☆53Updated last month
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 3 years ago
- ☆120Updated 2 years ago
- This aims to be the most pretentious implementation of stlc in existence☆61Updated 2 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆122Updated 10 months ago
- Notes and handouts from OPLSS 2018☆53Updated 6 years ago
- ☆65Updated 2 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last year
- An experimental category theory library for Lean☆49Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 9 months ago
- Learn the Agda basics in three 2-hour sessions.☆58Updated last year
- Fast equality saturation in Haskell☆79Updated 8 months ago
- LLVM code generation in Haskell☆53Updated 2 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- A (formalised) general definition of type theories☆57Updated 3 years ago
- being the materials for Summer 2013's course☆112Updated last year
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated 10 months ago
- Programming library for Agda☆125Updated 4 months ago
- Experiments with SAT solvers with proofs in Lean 4☆54Updated 6 months ago
- Dependently Typed Lambda Calculus in Haskell☆112Updated 3 years ago