Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. kat (boneidol@indy.im)'s status on Tuesday, 27-Feb-2018 08:10:20 EST kat kat
    https://golem.ph.utexas.edu/category/2018/02/homotopy_type_theory_electroni.html !math #HoTT
    In conversation Tuesday, 27-Feb-2018 08:10:20 EST from indy.im permalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

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.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.