Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: Test

1 lines Updated Dec 5, 2024 ID: 2733
Rocq Locked
File

Summary: Coq code number 946

2 lines Updated Dec 5, 2024 ID: 2719
Dafny Locked
File

Summary: Bit string addition test

133 lines Updated Dec 5, 2024 ID: 2731
Dafny Locked
File

Summary: Test long code

120 lines Updated Dec 5, 2024 ID: 2729
Rocq Locked
File

Summary: Coq code number 945

38 lines Updated Dec 5, 2024 ID: 2718
Dafny Locked
File

Summary: Sofia Testing - Merging Two Sorted Arrays

30 lines Updated Dec 5, 2024 ID: 2730
Dafny Locked
File

Summary: Sofia Threshold Verification

6 lines Updated Dec 5, 2024 ID: 2728
Dafny Locked
File

Summary: Sofia Testing - non approved

1 lines Updated Dec 5, 2024 ID: 2727
Rocq Locked
File

Summary: Coq code number 932

148 lines Updated Dec 5, 2024 ID: 2705
Rocq Locked
File

Summary: Coq code number 909

9 lines Updated Dec 5, 2024 ID: 2682
Rocq Locked
File

Summary: Coq code number 930

428 lines Updated Dec 5, 2024 ID: 2703
Rocq Locked
File

Summary: Coq code number 942

14 lines Updated Dec 5, 2024 ID: 2715
Rocq Locked
File

Summary: Coq code number 919

630 lines Updated Dec 5, 2024 ID: 2692
Rocq Locked
File

Summary: Coq code number 908

22 lines Updated Dec 5, 2024 ID: 2681
Rocq Locked
File

Summary: Coq code number 929

23 lines Updated Dec 5, 2024 ID: 2702
Load more Results