The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 14

Dafny Locked
File

Summary: DafnyBench code number 767

Lean Locked
File

Summary: Lean code number 3

Dafny Locked
File

Summary: DafnyBench code number 779

Dafny Locked
File

Summary: DafnyBench code number 756

Lean Locked
File

Summary: Lean code number 13

Dafny Locked
File

Summary: DafnyBench code number 777

Dafny Locked
File

Summary: DafnyBench code number 766

Lean Locked
File

Summary: Lean code number 2

Dafny Locked
File

Summary: DafnyBench code number 755

Dafny Locked
File

Summary: DafnyBench code number 778

Lean Locked
File

Summary: Lean code number 12

Dafny Locked
File

Summary: DafnyBench code number 776

Lean Locked
File

Summary: Lean code number 1

Dafny Locked
File

Summary: DafnyBench code number 765