Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
228
stars
42
forks
source link
Add proof of the fact that disjunction preserves decidability #278
Closed
ayberkt closed 4 months ago
As discussed on Discord.