Skip to content
Snippets Groups Projects
Commit 50e1eb0e authored by Pierre Courtieu's avatar Pierre Courtieu
Browse files

Fixing the Print Assumption on Weber proofs.

Which amount to discovering a bug in Coq and work around it.
parent 466d47b2
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment