Skip to content

Translate lesson 2 of the Rocq tutorial into Lean

dd53ed2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Translate lesson 2 of the Rocq tutorial into Lean #806

Translate lesson 2 of the Rocq tutorial into Lean
dd53ed2
Select commit
Loading
Failed to load commit list.
Validate
succeeded Jan 21, 2026 in 7m 55s