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

Update example_all_in_one.py

Fix typos.

Update README.md

Fixed a typo.

Fix a typo in the README

Clean modules and labs-code

Fixed a few typos.

Update 0-appendix.md

Added a few missing periods "."

Update 0-appendix.md

Fixed a typo.

Clean docs

Fixed a few typos.

Update README.md

Fixed a typo.

Update 3.1-compensation-package.md

Fixed a few typos.

Fix typos in README file

1 comment

Fixed typos.