Code

separated L extraction framework#227

Code

Open

mrhaandi wants to merge 1 commit intouds-psl:masteruds-psl/coq-library-undecidability:masterfrom mrhaandi:no-extractionmrhaandi/coq-library-undecidability:no-extractionCopy head branch name to clipboard

+4-7,275

Commits

Commits on Oct 5, 2024

• moved L extraction framework to https://github.com/uds-psl/L-extraction

  Show description for 43229f5
  mrhaandi

  committed
  43229f5