theories/lang/tactics.v · c806b383046f8d2719c1a6a74fe8696a99a7a6e7 · Iris / RefinedC · GitLab

Find file Blame History Permalink

Initial commit. · c806b383
Michael Sammler authored Jul 15, 2020 and Rodolphe Lepigre committed Jul 21, 2020
```
Co-authored-by: Rodolphe Lepigre <lepigre@mpi-sws.org>
```
c806b383