This repo includes accompanying code for the paper "A Framework for Policy Based Negotiation" by Anna Fritz and Dr. Perry Alexander
To run our proofs, make sure you have installed Coq. We ran our proofs successfully with Coq version 8.16.0.
Once installed, type make in the NFM2023 base directory. This should compile all the files, allowing you to run the proofs in your editor of choice.
If you have any questions, feel free to email a987f052@ku.edu and we will respond at our earliest convenience.