Conversation
Notices
-
kat (kat@quitter.se)'s status on Thursday, 02-Mar-2017 12:26:42 EST kat
!math https://youtu.be/E9RiR9AcXeE Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.