cur icon indicating copy to clipboard operation
cur copied to clipboard

Published 20 hours ago • verified publisher icon wilbowma

Prover interop

Open wilbowma opened this issue 8 years ago • 0 comments

Figure out how to interoperate w/ Coq, Agda, etc. Being able to important other prover's libraries would be handy.

wilbowma avatar Jul 01 '16 04:07 wilbowma