index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
changelog
/
02-specification-language
/
00000-title.rst
blob: 2d3e49a69d63cfd9e54f5d47251c1862e10d6b60 (
plain
)
1
2
3
4
Specification language, type inference
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^