hisso.li
  • Login
Show Navigation

  • Public

    • Groups

Conversation

Notices

  1. Q (masterq@pawoo.net)'s status on Tuesday, 28-May-2019 15:59:10 JST Q Q

    まさかの #Prolog 実装だった。。。 / "The ProB Animator and Model Checker - ProB Documentation" https://www3.hhu.de/stups/prob/index.php/Main_Page

    In conversation Tuesday, 28-May-2019 15:59:10 JST from pawoo.net permalink
    • Help
    • About
    • FAQ
    • Privacy
    • Source
    • Version
    • Contact

    hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.

    Switch to desktop site layout.