An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
☆26Updated this week
Alternatives and similar repositories for pmGenerator
Users that are interested in pmGenerator are comparing it to the libraries listed below
Sorting:
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- some ready to use react components such as navbar, card etc.☆10Jan 31, 2024Updated 2 years ago
- My list of followership scammers on GitHub.☆13Jan 20, 2026Updated last month
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated last month
- Part of the code I have explained through my Medium articles about Comparing Text Document using TF-IDF and Cosine Similarity☆11Apr 21, 2024Updated last year
- Elementos output em formulários HTML5☆12Apr 18, 2024Updated last year
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- ☆12Feb 9, 2026Updated 3 weeks ago
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- ☆11Oct 10, 2024Updated last year
- Automatically detected Bridge Relays on the Tor Network.☆10Nov 2, 2024Updated last year
- ☆26Jul 7, 2024Updated last year
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 5 years ago
- All Coin Trading in Binance Automatic☆22Mar 20, 2025Updated 11 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Feb 7, 2020Updated 6 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 10, 2026Updated 2 weeks ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- Haskell bindings to glpk☆13Jun 10, 2024Updated last year
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Mar 26, 2022Updated 3 years ago
- Spare time project to get information about a given Github profile☆13Sep 2, 2025Updated 5 months ago
- ✨ PicTrace is an advanced Python-based web application that allows users to find visually similar images from a comprehensive photo archi…☆30Aug 22, 2025Updated 6 months ago
- The current implementation of `LinearAlgebra.eigen` does not support sensitivities. DifferentiableEigen.jl offers an `eigen` function tha…☆35Sep 15, 2025Updated 5 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆59Jan 26, 2024Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆15Feb 20, 2026Updated last week
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- ☆27Sep 8, 2023Updated 2 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- Библиотека для работы с Telegram API☆29Nov 11, 2024Updated last year
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆37Feb 11, 2026Updated 2 weeks ago
- ☆21Mar 21, 2022Updated 3 years ago
- contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method☆17Jan 25, 2017Updated 9 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- A python machine learning library☆11Jan 11, 2024Updated 2 years ago