Revision 8d4e67d40f650d3ebc9ce6e849bedc7254ee550c authored by ahuelsing on 02 November 2022, 11:35:35 UTC, committed by GitHub on 02 November 2022, 11:35:35 UTC
trivial proof by rewrite assocTP mem_map_fst. but smt(assocTP mem_map_fst) fails.
1 parent 5834e92
dune
(dirs src theories examples scripts)
(install
(section (bin))
(files (scripts/testing/runtest as ec-runtest)))
Computing file changes ...