codegen
codegen copied to clipboard
akr
Coq plugin for monomorphization and C code generation
Results
1
codegen issues
Sort by
recently updated
recently updated
newest added
I saw that for the natural numbers there were certain methods, such as sw_nat() and S_tag that needed defining so that the example addition program would function. I have been...
