Skip to main content
Calculemus
Weekly proof exercises in Lean 4.
Languages:
Español
José A. Alonso
Archive
Tags
About
RSS
Posts about Proposicional
RSS feed (Proposicional, en)
24-02-2020
Praeclarum theorema