Referenced by:

• 32980273196907449162r
• 37190117995581568158r
• 64501667788023824340r
• 82589597827656748033r
• 94779059060371810160r
• compactness-via-ultrafilters
• cycle-decomposition
• decidable
• haskell-definedness
• ucb-modeltheory-midterm
• lang
• logic-naught-test
• logic-prime-atomic
• logic-types-topology
• minesweeper-math
• quantifier-elimination