☆48Jun 26, 2026Updated 4 months ago
Alternatives and similar repositories for lean4-courses
Users that are interested in lean4-courses are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learn cryptography with formal proofs☆13Jul 25, 2026Updated 3 months ago
- Interactive TUI for exploring Quint/Apalache ITF traces☆13Jan 30, 2026Updated 9 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆40May 4, 2026Updated 6 months ago
- Learn Lean 4 by fixing 70 small exercises, one at a time☆28Sep 8, 2026Updated 2 months ago
- LeanEff is a small Lean 4 extensible-effects library☆25Oct 13, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆18Jul 20, 2026Updated 3 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆24Updated this week
- A Lean library for machine-checked cryptographic proofs.☆175Updated this week
- An auto-active program verifier in Lean☆138Updated this week
- Programs and Proofs -- Spring 2025 -- IITM☆22Oct 3, 2026Updated last month
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆29Oct 13, 2026Updated last month
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆39Oct 15, 2026Updated last month
- rust binding for lean4☆12Jul 1, 2023Updated 3 years ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Benchmarking environment for http servers☆23Apr 6, 2026Updated 7 months ago
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- ☆19Feb 10, 2026Updated 9 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆19Jan 21, 2026Updated 9 months ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Cryptographic protocol analysis for real-world protocols.☆138Updated this week
- Synthesis of Formally Verified Cryptographic Primitives☆18Updated this week
- ☆14Jul 24, 2021Updated 5 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Sep 13, 2026Updated 2 months 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.
- Moved to https://git.funexists.org/coq-lean-cheatsheet☆19Jul 25, 2023Updated 3 years ago
- ☆14Apr 28, 2020Updated 6 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆58Oct 2, 2025Updated last year
- Lean specification of neural architectures with verified GPU codegen.☆48Updated this week
- A BrainFuck zkVM based on a customised version of PlonkUp☆11May 4, 2023Updated 3 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆73Mar 26, 2026Updated 7 months ago
- CS410 "Advanced Functional Programming"☆35Mar 25, 2026Updated 7 months ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Apr 20, 2026Updated 6 months ago
- Awesome things around client-side GPU ecosystems.☆18Mar 23, 2026Updated 7 months ago
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- A statistical continuous profiler for OCaml compatible with Pyroscope☆22Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆170Nov 7, 2026Updated last week
- ☆67May 13, 2025Updated last year
- Anonymous usage tokens from curve trees☆29Oct 7, 2026Updated last month
Are these results useful?