LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

logical_verification_2025

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

LeanEmerging

Stars

—

Forks

—

Contributors

3

Last push

7mo ago

Recent commits

Latest commits.

cp
57ffbbeSoonho Kong7mo ago
cp
0d717e8Soonho Kong7mo ago
cp1
2b07ac6Soonho Kong7mo ago
update
5a0b4ebSoonho Kong8mo ago
add gitignore
c051f95Soonho Kong8mo ago

Ch01

9a38215Soonho Kong8mo ago

96b0107Soonho Kong8mo ago

Upgrade to Lean-v4.24.0

a7a9fe6Soonho Kong8mo ago

Top contributors

Builders behind this project.