☆12May 14, 2023Updated 3 years ago
Alternatives and similar repositories for ProofLab
Users that are interested in ProofLab are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Jan 17, 2022Updated 4 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆41Jul 6, 2026Updated last month
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- ☆12Jul 27, 2026Updated last week
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- ☆13Updated this week
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- a numerical computing library for Clojure☆23Jan 30, 2018Updated 8 years ago
- Lean 4 bindings to libcurl☆14Feb 3, 2026Updated 6 months ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- An implementation of the clustering algorithm k-means in J.☆13Nov 28, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- covid-19 data in J☆16Dec 14, 2021Updated 4 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Feb 12, 2024Updated 2 years ago
- Place for editing the data backing ashtadhyayi.com☆13Jul 18, 2026Updated 3 weeks ago
- Repo to hold the ERC data and the plot of the attractiveness of EU countries in term of ERC grantees☆16Dec 14, 2022Updated 3 years ago
- Course material on Jupyter Notebooks.☆15Feb 8, 2019Updated 7 years ago
- Ragged writings on all things☆15Jan 24, 2022Updated 4 years ago
- ☆15Dec 20, 2021Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆26May 13, 2026Updated 2 months ago
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- Visual Studio Code support for J language☆14Nov 21, 2025Updated 8 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆22Nov 23, 2023Updated 2 years ago
- Sanscript ported to Java☆10Feb 25, 2021Updated 5 years ago
- A (formalised) general definition of type theories☆59Jun 10, 2021Updated 5 years ago
- ☆14Jul 11, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Mar 14, 2024Updated 2 years ago
- Upload / download library for SmugMug.com☆12Feb 5, 2022Updated 4 years ago
- Yearbirder is a desktop app to help birders analyze, visualize and map their personal eBird sightings and, optionally, their bird photogr…☆14Updated this week
- ☆14Mar 22, 2018Updated 8 years ago
- Very controlled natural language tactics for Lean☆67Jan 25, 2024Updated 2 years ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆23Dec 12, 2021Updated 4 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 4 years ago