OAI/Computability/
152657 declarations, 0 contain sorry, 0 declared as axioms; 5213 files
Folders
- BinPacking/ 284 files, 17503 declarations
- DegreeRigidity/ 975 files, 6398 declarations
- DepthThree/ 179 files, 2652 declarations
- DeterministicSum/ 30 files, 814 declarations
- DirectedFeedback/ 224 files, 18817 declarations
- FiniteCompiler/ 17 files, 1902 declarations
- FourierCircuit/ 51 files, 1733 declarations
- FourierTransform/ 88 files, 1940 declarations
- GeneralizedCircuits/ 1 files, 83 declarations
- Interspersed/ 7 files, 89 declarations
- Logspace/ 39 files, 6077 declarations
- LoopMatching/ 24 files, 311 declarations
- MatchingCount/ 74 files, 984 declarations
- MaxCut/ 372 files, 18295 declarations
- MeanPayoff/ 72 files, 3164 declarations
- MinUncut/ 375 files, 13882 declarations
- PerfectCompleteness/ 581 files, 12394 declarations
- QuantumFactoring/ 552 files, 5878 declarations
- RandomMean/ 17 files, 498 declarations
- RationalHitting/ 53 files, 1498 declarations
- Scheduling/ 53 files, 1916 declarations
- SolenoidalRecorder/ 5 files, 72 declarations
- SpaceSimulation/ 49 files, 912 declarations
- StarHeight/ 37 files, 871 declarations
- Superstring/ 51 files, 1756 declarations
- TypeSystem/ 33 files, 3193 declarations
- UniqueGames/ 478 files, 17731 declarations
- VertexCover/ 354 files, 5412 declarations
- WLIdentification/ 67 files, 1631 declarations
- WeisfeilerLeman/ 43 files, 2112 declarations
- WitnessedChoice/ 27 files, 2139 declarations
Files
- DepthThree.lean 4 imports, no declarations