☆13Sep 29, 2025Updated 5 months ago
Alternatives and similar repositories for logic_and_proof
Users that are interested in logic_and_proof are comparing it to the libraries listed below
Sorting:
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆26Oct 13, 2025Updated 4 months ago
- A Lean4 plugin for the Intellij Platform☆20Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆472Aug 8, 2025Updated 6 months ago
- Markdown file of the list and explanations of all mathlib4 tactics☆53Jan 6, 2024Updated 2 years ago
- A Testing Framework for Lean☆75Feb 25, 2026Updated last week
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆25Jan 23, 2026Updated last month
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆68Mar 28, 2024Updated last year
- Estimate probability of failure using reframed Bayesian optimization☆10Aug 14, 2025Updated 6 months ago
- ☆33Jun 15, 2025Updated 8 months ago
- fast .NET library for factor polynomials over various fields.☆10Jun 16, 2022Updated 3 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- Forest Fuels from Brown's Transects☆11Dec 14, 2018Updated 7 years ago
- A Playwright MCP package in Nix☆17Jan 16, 2026Updated last month
- NDI (Neuroscience Data Interface) is a cross-platform interface standard for reading neuroscience data and storing the results of analyse…☆15Updated this week
- Implementation of Advance Encryption Standard (AES-128/192/256/512) using Python and Numpy☆12Nov 7, 2022Updated 3 years ago
- ☆11May 14, 2023Updated 2 years ago
- Simple, Non authoritative Benchmarks for embedded databases running in Github Actions☆11Jul 11, 2024Updated last year
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A small tool to help check NAT issues☆12Dec 4, 2018Updated 7 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Feb 20, 2024Updated 2 years ago
- Lean 4 tutorial files☆54Nov 21, 2025Updated 3 months ago
- ☆11Dec 12, 2021Updated 4 years ago
- QUIC connections natively over Yggdrasil☆20Feb 24, 2026Updated last week
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 5 years ago
- AscTec quadrotor drivers☆17Aug 22, 2019Updated 6 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- ☆10Apr 27, 2022Updated 3 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Feb 12, 2024Updated 2 years ago
- Basic Linear Algebra Subprograms for .Net☆11Apr 23, 2019Updated 6 years ago
- Vendy is a tool for vendoring third-party packages into your project.☆18Nov 28, 2023Updated 2 years ago
- RSS Box Viewer puts little or long customizable RSS boxes anywhere you put HTML; build your own slashbox hell or heaven, it’s feedarific!☆17Updated this week
- Literals for Zarith's arbitrary-precision integers and rationals☆12Aug 18, 2022Updated 3 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 3 months ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- Coq BPF interpreter☆19Jan 18, 2018Updated 8 years ago
- Javascript plugin for FreeIPA adding a picture widget with preview and file uploader (usefull to manage user avatars in jpegphoto ldap at…☆13Aug 26, 2024Updated last year