Resúmenes de Lean

Índice

1 Resúmenes breves de Lean

2 Resúmenes amplios de Lean

3 Resúmenes de Coq

José A. Alonso

2020-06-16 mar 08:31