Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
attic
Typing_old.v
Find file
Blame
History
Permalink
Port Error validator to finite maps, some proof simplification in interval validator
· 92da81e9
Heiko Becker
authored
Nov 03, 2017
92da81e9