Logic and Proof & Lean Prover
8 Ago 202308/08/23 a las 23:39 hrs.2023-08-08 23:39:08 por 
Javier Andrés Facondi Morán
| Categoría | DCC-Matematicas Discretas |
|---|---|
| URL | https://leanprover.github.io/logic_and_proof/index.html |
| Última Modificación | 8 Ago 202308/08/23 a las 23:39 hrs.2023-08-08 23:39:08 |