Namdak Tönpa
5ht@mathstodon.xyz
<p>Established HoTT research in Ukraine, 2015.</p>
Posts
-
Post #3086318
WoW, Henk&#39;s Cube is at Lean&#39;s landing! Long Life Prayers to Master Henk!
- Post #3086317
-
Post #3086316
We have more Cubes!!!
-
Post #3086315
https://axio.groupoid.space/doc/architecture.pdf
-
Post #3086314
Mornings
-
Post #2481103
Announce of Groupoid Infinity theorem prover named Christine resembling Coq 8.2 syntax and semantics, written in Elixir for Erlang/OTP with BEAM byte-code extraction. https://christine.groupoid.space