Pietro Monticone

icon company University of Trento icon location Trento, Italy icon location Informal Mathematics @UniTrento || Formal Mathematics at Harmonic || Formalising in @LeanProver || Developing in @JuliaLang and @Python.

Results 75 issues of Pietro Monticone

Fix minor typos and knit .html pages

Update builder.md

3 comment

Fixed a typo.

Update README.md

Fixed a typo.

Fixed a few typos

Update README.md

Added nbviewer link.

Fixed a few typos

3 comment

Fixed a typo in README

2 comment

Fix a few typos

Fixed typos

I've just fixed a few typos. Thank you very much for making this material publicly available!

Update README.md

Fixed a few links.