Documentation Verification Report
Overview
Modules
Search
API Docs
Verification
/
Modules
2 modules
Module
Definitions
Theorems
Sorry
Sudoku4/Basic.lean
14
15
Sudoku4/FinCases.lean
5
3