emsenn
Search
Search
Dark mode
Light mode
Explorer
Tag: proof-assistant
24 items with this tag.
Mar 01, 2026
Curriculum of Agda
proof-assistant
agda
Mar 01, 2026
Agda
proof-assistant
programming-languages
formal-methods
Mar 01, 2026
Agda Skills
proof-assistant
agda
Mar 01, 2026
Agda Terms
proof-assistant
agda
Mar 01, 2026
Curriculum of Lean
proof-assistant
lean
Mar 01, 2026
Lean
proof-assistant
programming-languages
formal-methods
Mar 01, 2026
Lean Skills
proof-assistant
lean
Mar 01, 2026
Lean Terms
proof-assistant
lean
Mar 01, 2026
agda
proof-assistant
formal-methods
programming-languages
Mar 01, 2026
Dependent Types in Agda
proof-assistant
agda
Mar 01, 2026
Introduction to Agda
proof-assistant
agda
Mar 01, 2026
Proving in Agda
proof-assistant
agda
Mar 01, 2026
SKILL
proof-assistant
agda
formal-verification
Mar 01, 2026
pattern matching
proof-assistant
agda
Mar 01, 2026
standard library
proof-assistant
agda
Mar 01, 2026
universe level
proof-assistant
agda
Mar 01, 2026
Introduction to Lean
proof-assistant
lean
Mar 01, 2026
Tactics in Lean
proof-assistant
lean
Mar 01, 2026
Types and Propositions in Lean
proof-assistant
lean
Mar 01, 2026
SKILL
proof-assistant
lean
formal-verification
Mar 01, 2026
Mathlib
proof-assistant
lean
mathematics
Mar 01, 2026
tactic
proof-assistant
lean
Mar 01, 2026
theorem
proof-assistant
lean
Jan 08, 2026
lean
proof-assistant
formal-methods
programming-languages