faster MuRec extraction

uds-psl / coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

Mozilla Public License 2.0

111 stars 30 forks source link

Closed mrhaandi closed 1 year ago

mrhaandi commented 1 year ago

2x L extraction performance improvement in MuRec by slight modularization.