This website requires JavaScript.
Dashboard
Explore
Help
Sign In
Nicolas Méric
nicolas.meric
0 Followers
·
0 Following
Joined on
2021-01-27
Repositories
1
Projects
Packages
Public Activity
Starred Repositories
Search
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
2023-12-21 11:29:25 +00:00