Summary: Sofia Testing - non approved
Dafny 1 lines
Type: 📄
Verified: ❌
Package: Sofia Testing - non approved
Published: 12/05/2024
Download Code
View Code
Summary: Sofia Threshold Verification
Dafny 6 lines
Type: 📄
Verified: ❌
Package: Sofia Threshold Verification
Published: 12/05/2024
Download Code
View Code
Summary: Test long code
Dafny 120 lines
Type: 📄
Verified: ❌
Package: Test long code
Published: 12/05/2024
Download Code
View Code
Summary: Sofia Testing - Merging Two Sorted Arrays
Dafny 30 lines
Type: 📄
Verified: ❌
Package: Sofia Testing - Merging Two Sorted Arrays
Published: 12/05/2024
Download Code
View Code
Summary: Bit string addition test
Dafny 133 lines
Type: 📄
Verified: ❌
Package: Bit string addition test
Published: 12/05/2024
Download Code
View Code
Summary: Test
Dafny 1 lines
Type: 📄
Verified: ❌
Package: Test
Published: 12/05/2024
Download Code
View Code
Summary: Test 234
Dafny 2 lines
Type: 📄
Verified: ❌
Package: Test 234
Published: 12/05/2024
Download Code
View Code
Summary: Fibonacci function implementations and theorems in Lean.
Lean 39 lines
Type: 📄
Verified: ❌
Package: Fibonacci function implementations and theorems in Lean.
Published: 02/05/2025
Download Code
View Code
Summary: Defines derivatives for distributions in a probabilistic context.
Lean 124 lines
Type: 📄
Verified: ❌
Package: Defines derivatives for distributions in a probabilistic context.
Published: 01/13/2025
Download Code
View Code
Summary: Two trivial theorems
Rocq 20 lines
Type: 📄
Verified: ❌
Package: Two trivial theorems
Published: 02/24/2025
Download Code
View Code
Summary: Coq code number 928
Rocq 268 lines
Type: 📄
Verified: ❌
Package: Coq code number 928
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 929
Rocq 23 lines
Type: 📄
Verified: ❌
Package: Coq code number 929
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 930
Rocq 428 lines
Type: 📄
Verified: ❌
Package: Coq code number 930
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 931
Rocq 34 lines
Type: 📄
Verified: ❌
Package: Coq code number 931
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 932
Rocq 148 lines
Type: 📄
Verified: ❌
Package: Coq code number 932
Published: 12/05/2024
Download Code
View Code
