kdrag.theories.logic

Modules

`GAT`
`axioms`	Axioms that could be in the Kernel, but aren't needed for everyday functioning of Knuckledragger
`computable`
`intuitionistic`
`nominal`
`ordinal`
`peano`
`robinson`
`sep`
`temporal`
`zf`	ZF style set theory