Giters
Leonardo Pacheco (leonardopacheco)

leonardopacheco

Geek Repo

4

followers

6

following

16

stars

Company:TU Wien

Home Page:leonardopacheco.xyz

Github PK Tool:Github PK Tool

Leonardo Pacheco's repositories

leonardopacheco.github.io

Language:HTMLStargazers:0Issues:0Issues:0

LogicColloquiumTutorial

The Lean tutorial for Logic Colloquium 2023

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0