Refactor ffi & simplify build process

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 & simplify build process #72

Closed jim-portegies closed 1 month ago

jim-portegies commented 1 month ago

Put the ffi functionality in a separate file, to achieve a better separation of functionality, and to allow for support from the ocaml lsp server during development.

Simplify the build process and try to show the url for building the documentation.

jim-portegies commented 1 month ago

I'm going to close this PR because it is mixing too many things, and the building with make really needs to be tested before we change it.