Skip to content
GitLab
Explore
Sign in
rt-proofs
README.md
Find file
Blame
Permalink
Nov 09, 2023
cf08f2ed
silence some warnings and change global behavior of obligation tactic
· cf08f2ed
Kimaya Bedarkar
authored
Nov 09, 2023
and
Björn Brandenburg
committed
Nov 09, 2023
Drops support for mathcomp 1.16.
cf08f2ed
silence some warnings and change global behavior of obligation tactic
Kimaya Bedarkar
authored
Nov 09, 2023
and
Björn Brandenburg
committed
Nov 09, 2023
Drops support for mathcomp 1.16.
Loading
