Skip to content
This repository was archived by the owner on Apr 26, 2025. It is now read-only.

Fixed extraction - #15

Open
vblot wants to merge 1 commit into
maximedenes:masterfrom
smtcoq:fix-extraction
Open

Fixed extraction#15
vblot wants to merge 1 commit into
maximedenes:masterfrom
smtcoq:fix-extraction

Conversation

@vblot

@vblot vblot commented Jul 11, 2018

Copy link
Copy Markdown

Here is a patch for issue:
#13

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant