Skip to content
Proof PR

document setup for Monad Lib #2613

Sign in to view logs

document setup for Monad Lib

document setup for Monad Lib #2613

GitHub Actions / File annotations for theory linter succeeded Oct 12, 2023 in 0s

File annotations for theory linter

View more details on GitHub Actions