Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/jaalonso/logica_con_lean

itp leanprover logic

Last synced: 16 days ago
JSON representation

Introducción a la lógica con Lean.

Host: GitHub
URL: https://github.com/jaalonso/logica_con_lean
Owner: jaalonso
License: gpl-3.0
Created: 2020-09-06T12:05:34.000Z (over 4 years ago)
Default Branch: master
Last Pushed: 2022-06-24T07:28:18.000Z (over 2 years ago)
Last Synced: 2023-03-05T04:48:49.959Z (almost 2 years ago)
Topics: itp, leanprover, logic
Language: Lean
Homepage: https://github.com/jaalonso/Logica_con_Lean/raw/master/Logica_con_Lean.pdf
Size: 11.8 MB
Stars: 3
Watchers: 0
Forks: 0
Open Issues: 0