Skip to content
GitLab
Explore
Sign in
abellatocoq
src
theories
Abella2Coq.v
Find file
Blame
History
Permalink
[translation] switch to higher-order specification logic
· 0fb0bc18
Florian Guthmann
authored
Oct 21, 2023
and
Philip Kaludercic
committed
Nov 02, 2023
0fb0bc18
Loading
0fb0bc18