Skip to content
GitLab
Explore
Sign in
Iris
ReLoC
Issues
#5
`solve_typed` tactic
Automate typing derivations.
Edited
Mar 06, 2020
by
Dan Frumin