Python library for computational formal logic, formal semantics, and theorem proving
☆31Dec 13, 2025Updated 2 months ago
Alternatives and similar repositories for mathesis
Users that are interested in mathesis are comparing it to the libraries listed below
Sorting:
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated 2 months ago
- My typst templates & utilities (WIP)☆27Oct 21, 2025Updated 4 months ago
- Formalization of the Millennium Problems in Lean 4☆44Jan 16, 2026Updated last month
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last month
- Open Management Plane Software☆11Oct 17, 2024Updated last year
- Sift client libraries and protocol buffers☆17Updated this week
- ☆10Oct 26, 2022Updated 3 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- 日本語／英語文献 Typstパッケージ☆17Dec 21, 2025Updated 2 months ago
- ☆17Jan 3, 2025Updated last year
- Powerful, developer-experience centric, blazingly fast and extensible job scheduler and workflow orchestration platform☆25Updated this week
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆15Jan 5, 2026Updated last month
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- Apache datasketches☆17Jun 9, 2025Updated 8 months ago
- An actor implementation in Rust☆10Oct 12, 2025Updated 4 months ago
- Eroge Music Quiz☆11Feb 22, 2026Updated last week
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last week
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- ☆11Jul 4, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- A crate for working with the Task Execution Service (TES) specification.☆13Jan 8, 2026Updated last month
- VelesDB is a local‑first AI data engine written in Rust that unifies vectors, full‑text and graph in a single file with a familiar SQL‑li…☆26Updated this week
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- Manage objects inside a cdn☆19Feb 1, 2026Updated last month
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- A United States map CTFd theme☆12Aug 28, 2017Updated 8 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Extended docker build tool.☆16Jun 12, 2023Updated 2 years ago
- GitHub IssueをProjectに自動登録☆10Feb 23, 2026Updated last week
- This package provides an interface and foundation for verified SAT reasoning☆55Aug 29, 2024Updated last year
- Basic Unicode support for Lean 4☆15Updated this week