Commit 13fbd438 authored by Raphael CAUDERLIER's avatar Raphael CAUDERLIER

An other version of Girard paradox in MLTT that does not require natural numbers

parent 29a4f1e6
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment