search

isabelle-prover / conventions

https://isabelle.systems/conventions/
MIT License
2 stars 4 forks source link

fix(sessions) nitpicking, add note on imports #1

Closed wimmers closed 4 years ago