Summary: Isabelle Fib Test
Isabelle 82 lines
Type: 📄
Verified: ❌
File: Isabelle Fib Test
Published: 02/24/2025
Download Code
View Code
Summary: Defines a recursive Fibonacci function in Isabelle.
Isabelle 13 lines
Type: 📄
Verified: ❌
File: Defines a recursive Fibonacci function in Isabelle.
Published: 02/25/2025
Download Code
View Code
Summary: Defines a recursive sum function and proves its formula.
Isabelle 23 lines
Type: 📄
Verified: ❌
File: Defines a recursive sum function and proves its formula.
Published: 02/25/2025
Download Code
View Code
Summary: Isabelle Code Example SOFIA
Isabelle 17 lines
Type: 📄
Verified: ❌
File: Isabelle Code Example SOFIA
Published: 02/25/2025
Download Code
View Code
Summary: Isabelle Test Sofia
Isabelle 82 lines
Type: 📄
Verified: ❌
File: Isabelle Test Sofia
Published: 02/25/2025
Download Code
View Code
Summary: Defines days and computes the next weekday in Coq.
Coq 24 lines
Type: 📄
Verified: ❌
File: Defines days and computes the next weekday in Coq.
Published: 02/25/2025
Download Code
View Code
Summary: LeanTest3
Lean 10 lines
Type: 📄
Verified: ❌
File: LeanTest3
Published: 02/25/2025
Download Code
View Code
Summary: IsabelleTestSofia1
Isabelle 12 lines
Type: 📄
Verified: ❌
File: IsabelleTestSofia1
Published: 02/25/2025
Download Code
View Code
Summary: Proves the distributive property in Isabelle.
Isabelle 11 lines
Type: 📄
Verified: ❌
File: 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: ❌
File: Isabelle code for Fibonacci function and its correctness proofs.
Published: 02/25/2025
Download Code
View Code
Summary: Defines derivatives for distributions in a probabilistic context.
Lean 124 lines
Type: 📄
Verified: ❌
File: Defines derivatives for distributions in a probabilistic context.
Published: 01/13/2025
Download Code
View Code
Summary: Two trivial theorems
Coq 20 lines
Type: 📄
Verified: ❌
File: Two trivial theorems
Published: 02/24/2025
Download Code
View Code
Summary: sumupton
Lean 52 lines
Type: 📄
Verified: ❌
File: sumupton
Published: 01/13/2025
Download Code
View Code
Summary: Coq code number 945
Coq 38 lines
Type: 📄
Verified: ❌
File: Coq code number 945
Published: 12/05/2024
Download Code
View Code
Summary: Coq code number 946
Coq 2 lines
Type: 📄
Verified: ❌
File: Coq code number 946
Published: 12/05/2024
Download Code
View Code
