Summary: IsabelleTestSofia1
Isabelle 12 lines
Type: 📄
Verified: ❌
Package: IsabelleTestSofia1
Published: 02/25/2025
Download Code
View Code
Summary: Proves the distributive property in Isabelle.
Isabelle 11 lines
Type: 📄
Verified: ❌
Package: Proves the distributive property in Isabelle.
Published: 02/25/2025
Download Code
View Code
Summary: Isabelle code for Fibonacci function and its correctness proofs.
Isabelle 82 lines
Type: 📄
Verified: ❌
Package: Isabelle code for Fibonacci function and its correctness proofs.
Published: 02/25/2025
Download Code
View Code
Summary: A lemma demonstrating ordered rewriting in commutative rings.
Isabelle 47 lines
Type: 📄
Verified: ❌
Package: A lemma demonstrating ordered rewriting in commutative rings.
Published: 03/03/2025
Download Code
View Code
Summary: Ackermann function is monotonic
Dafny 223 lines
Type: 📦
Verified: ❌
Package: Ackermann function is monotonic
Published: 03/03/2025
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: sumupton
Lean 52 lines
Type: 📄
Verified: ❌
Package: sumupton
Published: 01/13/2025
Download Code
View Code
Summary: Coq code number 945
Rocq 38 lines
Type: 📄
Verified: ❌
Package: Coq code number 945
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 946
Rocq 2 lines
Type: 📄
Verified: ❌
Package: Coq code number 946
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 947
Rocq 118 lines
Type: 📄
Verified: ❌
Package: Coq code number 947
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 948
Rocq 162 lines
Type: 📄
Verified: ❌
Package: Coq code number 948
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 949
Rocq 253 lines
Type: 📄
Verified: ❌
Package: Coq code number 949
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 950
Rocq 19 lines
Type: 📄
Verified: ❌
Package: Coq code number 950
Published: 12/05/2024
Download Code
View Code
