I was thinking of formalizing them myself for a project if they haven't been already, and I looked in libraries and couldn't find anything.

I was thinking of coq in particular because it's the only proof assistant I've used in the past, but if they've been formalized elsewhere, I'm interested too.

Also, if someone has general advice for where to look for libraries in general, I definitely appreciate it. In this case I was looking in this page but there doesn't seem to be anything.

Thanks in advance!



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.