Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol4
Infra
DaisyTactics.sml
Find file
Blame
History
Permalink
More progress on proofs, adding new tactic to destruct existentials
· 1d0b012c
Heiko Becker
authored
Aug 31, 2017
1d0b012c