Skip to content
GitLab
Explore
Sign in
Anton Trunov
less-adhoc
Issues
#3
View should not be much slower compared to explicit top of goal usage
https://github.com/coq/coq/pull/7028#issuecomment-374952541