search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

Prover interop #49

Open wilbowma opened 8 years ago

wilbowma commented 8 years ago

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