The Hitchhiker's Guide to Logical Verification (2026 edition) and associated materials
☆36Jan 30, 2026Updated 6 months ago
Alternatives and similar repositories for logical_verification_2026
Users that are interested in logical_verification_2026 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆151Apr 22, 2025Updated last year
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆18Jul 28, 2026Updated last week
- ☆10Sep 30, 2023Updated 2 years ago
- A dependently-typed language with indexed inductive types supported.☆19Feb 20, 2026Updated 5 months ago
- 逻辑验证漫游指南☆72Jul 18, 2026Updated 3 weeks 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.
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Updated this week
- ☆15Jun 11, 2015Updated 11 years ago
- Parser Combinator Library for Lean 4☆89Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆157Updated this week
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Mar 28, 2024Updated 2 years ago
- Book about using Lean with How To Prove It☆28Jun 10, 2026Updated 2 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Oct 20, 2017Updated 8 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Feb 12, 2024Updated 2 years ago
- ☆47Updated this week
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 4 years ago
- Java-like Language with Static Information Flow Types☆14May 5, 2025Updated last year
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 6 years ago
- Formally Verified Float Implementation with lean4☆17Jul 22, 2026Updated 2 weeks ago
- Type Theory☆40Jul 21, 2016Updated 10 years ago
- LaTeX code for a paper on lean's type theory☆170Aug 2, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆25Updated this week
- An introduction to theorem proving in Lean for the impatient.☆398Apr 17, 2026Updated 3 months ago
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆28Mar 10, 2026Updated 5 months ago
- SQLite bindings for Lean☆52Updated this week
- Lab assignments for 6.826☆18Oct 20, 2020Updated 5 years ago
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Aug 3, 2026Updated last week
- Helper toolkit for creating your own Lean 4 UserWidgets☆220Updated this week
- White-box automation for Lean 4☆394Aug 3, 2026Updated last week
- 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.
- Auto formalization of the CLRS text book☆38Jul 8, 2026Updated last month
- Formalization of the Rupert Problem for convex polyhedra.☆19Jul 28, 2026Updated last week
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 8 years ago
- A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.☆13Sep 23, 2022Updated 3 years ago
- ☆17Nov 10, 2025Updated 9 months ago
- Working through Type-Driven Development with Idris☆27Sep 7, 2016Updated 9 years ago
- Compile & Run Quantum Intermediate Representation (QIR) Programs on Rigetti Quantum Cloud Services (QCS)☆12Oct 1, 2025Updated 10 months ago