There was an error while loading. Please reload this page.
Updated CoqTerminationDiscussion (markdown)
fixed mistake pointed out by di.gama@gmail.com
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