rkirsling / modallogic
Modal Logic Playground
☆367Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for modallogic
- ☆159Updated 5 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆515Updated 3 weeks ago
- Parser for Attempto Controlled English (ACE)☆188Updated 7 months ago
- Tree Proof Generator☆156Updated 3 weeks ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆72Updated 4 years ago
- The HOL Light theorem prover☆431Updated this week
- An automated theorem prover for first-order logic.☆234Updated 2 years ago
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Categorical Query Language IDE☆299Updated last month
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- Visualization Constraints and Weight Learning☆225Updated last year
- The Incredible Proof Machine☆359Updated 10 months ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆397Updated this week
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- Interactive tool for creating directed graphs☆285Updated last year
- The collected works of F. W. Lawvere☆321Updated 2 months ago
- MathWebSearch Implementation☆47Updated last year
- Sigma Knowledge Engineering Environment☆103Updated this week
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- A geometry game based on Euclid's Elements.☆448Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆186Updated 5 months ago
- Learn Prolog Now LaTeX sources☆82Updated 2 years ago
- The mathematical study of type theories, in univalent foundations☆112Updated 2 months ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week
- ⚙️ A conflict-driven nogood learning answer set solver☆117Updated 2 weeks ago
- Mathematical Components (the Book)☆140Updated last year
- Mathematical Components☆588Updated this week