OAI/Probability/MatroidSecretary/Selection/
47 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- AssignedSafe.lean 5 declarations
- AveragedSafeExact.lean 2 declarations
- CandidateContract.lean 6 declarations
- CandidateContracts.lean 3 declarations
- CandidateSpecification.lean 5 declarations
- CandidateSpecificationTheorems.lean 7 declarations
- FeasibilityContract.lean 9 declarations
- FeasibilitySpec.lean 1 declarations
- GreedyExecution.lean 5 declarations
- LayerImplementation.lean 3 declarations
- SafeSpecification.lean 1 declarations