Giters
makarius

makarius

Geek Repo

13

followers

0

following

5

stars

Home Page:https://sketis.net

Github PK Tool:Github PK Tool

makarius's repositories

isabelle_dedukti

Isabelle component generating Dedukti proofs

Language:ScalaStargazers:0Issues:0Issues:0

Isabelle_DOF

Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

Language:IsabelleLicense:NOASSERTIONStargazers:0Issues:0Issues:0

language-server-protocol

Defines a common protocol for language servers.

License:NOASSERTIONStargazers:0Issues:1Issues:0

polyml

Poly/ML

Language:Standard MLLicense:LGPL-2.1Stargazers:0Issues:0Issues:0