hisso.li
  • Login
Show Navigation

  • Public

    • Groups

Conversation

Notices

  1. Q (masterq@pawoo.net)'s status on Thursday, 18-Jul-2019 18:11:13 JST Q Q

    https://github.com/verifast/vfdeps なにがはじまるんだ、、、 #verifast

    In conversation Thursday, 18-Jul-2019 18:11:13 JST from pawoo.net permalink

    Attachments

    1. verifast/vfdeps
      from GitHub
      Dependencies for VeriFast. Contribute to verifast/vfdeps development by creating an account on GitHub.
    • 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.