Skip to content
GitLab
Explore
Sign in
HoTT
hott-set-theory
Merge requests
!2
Anti foundation
Code
Review changes
Check out branch
Download
Patches
Plain diff
Elisabeth.Bonnevier
requested to merge
anti-foundation
into
master
Jul 01, 2021
Overview
2
Commits
20
Pipelines
0
Changes
7
Expand
This merge request contains a proof of Aczel's anti-foundation axiom for the fixed point model.
Merge request reports