Rust Coq Resources

Noq Not Coq. Simple expression transformer that is not Coq. Quick Start $ cargo run ./examples/add.noq Main Idea The Main Idea is being able to define

This plugin aims at providing a functional and usable coqidetop wrapper for use with Kakoune. For a list of things left to do, see the end of this REA