Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. ionchy ✔ (nonphatic@cybre.space)'s status on Wednesday, 17-Jul-2019 13:13:07 EDT ionchy ✔ ionchy ✔

    Me: we can't possibly search all combinations of annotations to find one that works, that's completely inefficient
    Coq kernel: does exactly that

    In conversation Wednesday, 17-Jul-2019 13:13:07 EDT from cybre.space 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.