giorgio93p

Pinned Repositories

book-embeddings
Language:C++1 5 40
Fifteen
The 15-puzzle
Language:JavaScript0 2 00
giorgio93p.github.io
Language:HTML00
HoTT
Homotopy type theory
Language:Coq0 1 00
HoTT-book
A textbook on informal homotopy type theory
Language:TeX00
multiply-by
A simple module for Workbench, for educational purposes
Language:Python0 2 00
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq0 1 00
book
A textbook on informal homotopy type theory
Language:TeX2k 120 634360
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq966 57 526173
vonage-php-sdk-core
Vonage REST API client for PHP. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Language:PHP928 33 199181

giorgio93p's Repositories

giorgio93p/book-embeddings
Language:C++1 5 40
giorgio93p/Fifteen
The 15-puzzle
Language:JavaScript0 2 00
giorgio93p/giorgio93p.github.io
Language:HTML00
giorgio93p/HoTT
Homotopy type theory
Language:Coq0 1 00
giorgio93p/HoTT-book
A textbook on informal homotopy type theory
Language:TeX00
giorgio93p/multiply-by
A simple module for Workbench, for educational purposes
Language:Python0 2 00
giorgio93p/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq0 1 00