Preview

lean-ssr-itp24
- .gitignore
  
  7 Bytes
- .vscode
  - settings.json
    
    125 Bytes
- Examples
  - LICENSE
    
    11.4 kB
  - Mathlib.lean
    
    8.6 kB
  - Nat.lean
    
    2.9 kB
  - Paper.lean
    
    2.2 kB
  - PaperRw.lean
    
    960 Bytes
  - Seq.lean
    
    17.2 kB
- README.md
  
  5.1 kB
- Ssreflect
  - ApplyIn.lean
    
    2.2 kB
  - Basic.lean
    
    1.1 kB
  - Done.lean
    
    1.9 kB
  - Elim.lean
    
    4.6 kB
  - Have.lean
    
    478 Bytes
  - IntroPats.lean
    
    7.1 kB
  - Lang.lean
    
    215 Bytes
  - Reflect.lean
    
    6.5 kB
  - Revert.lean
    
    5.5 kB
  - Rewrite.lean
    
    3.7 kB
  - Utils.lean
    
    14.6 kB
- Ssreflect.lean
  
  152 Bytes
- Tests
  - Intro.lean
    
    4.2 kB
  - Revert.lean
    
    1.9 kB
- lake-manifest.json
  
  2.2 kB
- lakefile.lean
  
  837 Bytes
- lean-toolchain
  
  28 Bytes
- test
  
  63 Bytes