We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Updated CoqTerminationDiscussion (markdown)
fixed mistake pointed out by [email protected]
gcd definition moved
mentioned that Coq may be SN if Coq stored the fixpoint bodies that were checked: pointed to the discussion with Bruno. also fixed some grammar/spelling errors
Sync with a last modifiction on the MoinMoin side
Still another fix
Another reference added, some more fixed anchors and links
Restore references, fix anchors and links
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
No commit message
added more references