An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
☆26Apr 4, 2026Updated last week
Alternatives and similar repositories for pmGenerator
Users that are interested in pmGenerator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 3 months ago
- My list of followership scammers on GitHub.☆13Jan 20, 2026Updated 2 months ago
- Metamath logic game☆10Mar 29, 2026Updated last week
- Elementos output em formulários HTML5☆11Apr 18, 2024Updated last year
- 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- ☆26Jul 7, 2024Updated last year
- ✨ PicTrace is an advanced Python-based web application that allows users to find visually similar images from a comprehensive photo archi…☆29Aug 22, 2025Updated 7 months ago
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆13Feb 20, 2026Updated last month
- Spare time project to get information about a given Github profile☆13Sep 2, 2025Updated 7 months ago
- ☆12Oct 10, 2024Updated last year
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆23Nov 29, 2025Updated 4 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Metamath source file for logic and set theory☆308Apr 4, 2026Updated last week
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- A python machine learning library☆11Jan 11, 2024Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- A cool looking profile readme template. Feel free to fork and customize!☆16Jan 3, 2025Updated last year
- A javascript tree.☆10Feb 15, 2019Updated 7 years ago
- A custom logger for your NestJS application using Winston, logging class name, function name, time execution ... in a clean way☆21Oct 24, 2023Updated 2 years ago
- ☆12Feb 9, 2026Updated 2 months ago
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Answers from the Full Stack Open bootcamp at the University of Helsinki☆19Nov 17, 2024Updated last year
- SpringBootを使用した、出納帳アプリ☆17Apr 4, 2024Updated 2 years ago
- Automatically detected Bridge Relays on the Tor Network.☆10Nov 2, 2024Updated last year
- 🔗 Beyond now, beyond critical, Hypercritical☆23Apr 4, 2026Updated last week
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 3 years ago
- Interactive, web-based visual math assistant☆12Apr 2, 2026Updated last week
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 6 years ago
- Fapello Downloader for Windows and Linux. This is a lightweight CLI tool.☆29Feb 1, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆17Aug 19, 2024Updated last year
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 6 years ago
- Config files for my GitHub profile.☆21Mar 7, 2025Updated last year
- OpenCV wrapper for Delphi☆12Jan 4, 2017Updated 9 years ago
- A port of Box2D Lite to Pharo Smalltalk☆14May 10, 2020Updated 5 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Tarantool connector for Pharo Smalltalk☆15Mar 24, 2022Updated 4 years ago