tamaravonglehn

Cambridge, UK

Pinned Repositories

acme
A library of reinforcement learning components and agents
Language:Python3.5k 83 265426
UniMath2017-CategoryTheory
Category theory group projects at UniMath workshop, Birmingham, Dec 2017
Language:Coq1 8 20
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq0 0 00
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq956 57 519174

tamaravonglehn/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq0 0 00