Fitch style proof constructor
☆30Feb 17, 2023Updated 3 years ago
Alternatives and similar repositories for fitchjs
Users that are interested in fitchjs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆77Aug 11, 2026Updated 2 months ago
- Repositório da disciplina Programação Orientada a Objetos ministrada por Fabricio Santana no 3º semestre da graduação em Ciência da Compu…☆22Oct 23, 2026Updated last week
- A featureful wiki engine based on Zope 2☆22Nov 13, 2022Updated 3 years ago
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Fast and accurate evaluation of the real valued parts of the principal and secondary branches of the Lambert W function with the method o…☆15Updated this week
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆53Oct 15, 2026Updated 2 weeks ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 3 years ago
- Material para Matemática Discreta☆12Jul 31, 2016Updated 10 years ago
- Reverse and animate svg paths with a single click.☆12Oct 26, 2026Updated last week
- Beautiful, interactive visualizations of logical inference☆156Sep 12, 2026Updated last month
- ops5 production rule system (lisp)☆12Jun 29, 2013Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 9 months ago
- ☆13Nov 23, 2019Updated 6 years ago
- The VS Code extension for Waterproof. Helps students learn how to write mathematical proofs.☆12Updated this week
- Haxe port of metazelda☆12Apr 23, 2014Updated 12 years ago
- My Agda experiments☆12Sep 26, 2019Updated 7 years ago
- A non-interactive proof assistant using the Haskell type system☆40Apr 11, 2020Updated 6 years ago
- Random Access Zipper in OCaml☆14Dec 8, 2016Updated 9 years ago
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 6, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆21Sep 19, 2026Updated last month
- ☆15Jun 24, 2018Updated 8 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years ago
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 11 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆12Dec 29, 2015Updated 10 years ago
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 10 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- Fork of IcePDF library, maven build and additional print support☆15May 7, 2018Updated 8 years ago
- Projeto Carômetro: Repositório de informações de pessoas com foto associada.☆14Apr 22, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆57Oct 26, 2026Updated last week
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- FunK is a scalable function provider (think to kind of small FaaS)☆10Jun 29, 2018Updated 8 years ago
- The beautiful theme based on the Kanazawa painting.☆14Oct 9, 2025Updated last year
- Tree Proof Generator☆184Sep 11, 2026Updated last month
- single node kafka implementation☆13Apr 27, 2018Updated 8 years ago
- A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。☆16Nov 5, 2019Updated 6 years ago