Preparation for my upcoming PreFPO
Currently contains a literate example file describing a simple computational reflection. reflect_example.v can be downloaded and walked through in Coq or viewed here
Preparation for my upcoming PreFPO
Currently contains a literate example file describing a simple computational reflection. reflect_example.v can be downloaded and walked through in Coq or viewed here