Use --exact-split and --safe - Githubissues

issues

search

pufferffish / agda-symmetries

MIT License

5 stars 1 forks source link

Use --exact-split and --safe #67

Closed vikraman closed 1 year ago

© Githubissues.
Githubissues is a development platform for aggregating issues.