Logic and Proof & Lean Prover
8 Aug 202308/08/23 at 23:392023-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 Aug 202308/08/23 at 23:392023-08-08 23:39:08 |