Paradoxika / SkeptikLinks
A library for Proof Theory (especially Proof Compression) in Scala.
☆34Updated 7 years ago
Alternatives and similar repositories for Skeptik
Users that are interested in Skeptik are comparing it to the libraries listed below
Sorting:
- GAPT: General Architecture for Proof Theory☆100Updated this week
- Luck -- A Language for Property-Based Generators☆34Updated 3 months ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Solver for higher-order functional programs, used by Stainless☆91Updated last month
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated this week
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆31Updated last month
- Cohesive type theory☆19Updated 3 years ago
- System FR: Formalized Foundations for Stainless☆9Updated 3 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 6 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- An enhanced unification algorithm for Coq☆56Updated last month
- Core components for the Scribble Java tools☆56Updated 8 months ago
- Object Algebra Composition☆24Updated 11 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Higher-order optimization library☆74Updated last year
- xmonad in Coq☆46Updated 12 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 3 years ago
- Constructive Galois connections☆32Updated 7 years ago
- ☆84Updated 7 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 2 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- ☆30Updated 7 years ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- ☆42Updated 6 years ago