Skip to main content
Calculemus
Proof exercises in Lean4 and Isabelle/HOL
José A. Alonso
Archive
Tags
About
RSS
Posts about Relaciones
RSS feed
08-04-2020
Las relaciones reflexivas y circulares son simétricas