Geeks
isabelle-utp
/
isabelle-quantity
Quantities in Isabelle/HOL
Primary Language
TeX
isabelle-quantity GitHub
Markdown
Readme
0
Issues
2
Stargazers
5
Watchers
Watchers
Burkharrt-Wolff
University Paris-Saclay
Frank-Zeyda
Galois, Inc.
jhcloos
ldcouto
simondfoster
University of York