search

martinring / clide2

A language agnostic collaborative cloud IDE
clide.flatmap.net
GNU Lesser General Public License v3.0
19 stars 2 forks source link

Extend Isabelle formalizations to annotations #22

Open martinring opened 10 years ago