Nicolas Méric nicolas.meric
0 Followers · 0 Following
  • Joined on
Repositories Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
Isabelle_DOF
Isabelle 0 0

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

Updated 1 week ago