Python Symbolic Information Theoretic Inequality Prover
☆47Jun 10, 2025Updated 9 months ago
Alternatives and similar repositories for psitip
Users that are interested in psitip are comparing it to the libraries listed below
Sorting:
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last week
- Very slowly rethinking Jython through toy implementations☆18Updated this week
- ☆16Jul 3, 2023Updated 2 years ago
- ☆25May 23, 2022Updated 3 years ago
- Lennard Jones in Lean☆21Jul 14, 2025Updated 7 months ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆40Updated this week
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆57Jan 15, 2024Updated 2 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated last month
- Formalizing convex polyhedra in Coq☆24Jul 8, 2024Updated last year
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Apr 11, 2019Updated 6 years ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Updated this week
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Dec 17, 2022Updated 3 years ago
- ☆27Feb 11, 2026Updated 3 weeks ago
- A Python implementation of a polynomial library and Buchberger's Algorithm☆24Jun 22, 2020Updated 5 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 10 months ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆27Jun 7, 2025Updated 9 months ago
- A Rocq formalization of information theory and linear error-correcting codes☆75Updated this week
- ☆26Aug 31, 2023Updated 2 years ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated last year
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- ☆38Mar 12, 2024Updated last year
- Tools for genomic features in Julia.☆35Oct 1, 2024Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 3 weeks ago
- arxiv daily for speech translation, legal. Ref: Vincentqyw/cv-arxiv-daily☆15Jan 6, 2025Updated last year
- TestStand Semiconductor Module Python API☆15May 7, 2025Updated 10 months ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- ☆12Feb 18, 2024Updated 2 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Empowering Scientific Research with AI Assistance! Open Source Code for Data-Driven Dimensional Analysis.☆14Aug 7, 2025Updated 7 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆46Updated this week
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆11Oct 13, 2023Updated 2 years ago