Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 71

16 lines Updated Dec 5, 2024 ID: 858
Lean Locked
File

Summary: Lean code number 48

131 lines Updated Dec 5, 2024 ID: 835
Lean Locked
File

Summary: Lean code number 24

129 lines Updated Dec 5, 2024 ID: 811
Lean Locked
File

Summary: Lean code number 58

7 lines Updated Dec 5, 2024 ID: 845
Lean Locked
File

Summary: Lean code number 35

236 lines Updated Dec 5, 2024 ID: 822
Lean Locked
File

Summary: Lean code number 70

1 lines Updated Dec 5, 2024 ID: 857
Lean Locked
File

Summary: Lean code number 47

146 lines Updated Dec 5, 2024 ID: 834
Lean Locked
File

Summary: Lean code number 23

9 lines Updated Dec 5, 2024 ID: 810
Lean Locked
File

Summary: Lean code number 57

135 lines Updated Dec 5, 2024 ID: 844
Lean Locked
File

Summary: Lean code number 34

21 lines Updated Dec 5, 2024 ID: 821
Lean Locked
File

Summary: Lean code number 46

3 lines Updated Dec 5, 2024 ID: 833
Lean Locked
File

Summary: Lean code number 69

16 lines Updated Dec 5, 2024 ID: 856
Lean Locked
File

Summary: Lean code number 33

22 lines Updated Dec 5, 2024 ID: 820
Lean Locked
File

Summary: Lean code number 79

33 lines Updated Dec 5, 2024 ID: 866
Lean Locked
File

Summary: Lean code number 56

5 lines Updated Dec 5, 2024 ID: 843
Load more Results