search

impermeable / coq-waterproof

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
https://impermeable.github.io/
GNU Lesser General Public License v3.0
30 stars 9 forks source link

Refactor ffi again #73

Closed jim-portegies closed 1 month ago

jim-portegies commented 1 month ago

Move the ffi to its own file, so there is a better separation of functionality, and so developers can use the ocaml lsp server for feedback.

Also remove the obsolete Framework.v file.

jim-portegies commented 1 month ago

Thanks for looking at it!