Summary: Karatsuba
Isabelle 6 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Karatsuba_isa
Download Code
View Code
Summary: Refined C Binary Search
RefinedC 9 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Test
Download Code
View Code
Summary: RefinedC BTree
RefinedC 12 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Btree
Download Code
View Code
Summary: QuickSort Isabelle Demo #1
Isabelle 1 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Isabelle_Quicksort_Ex
Download Code
View Code
Summary: Isabelle Multi File Repo
Isabelle 4 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Isabelle_multi_file_repo
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: Defines a recursive Fibonacci function in Isabelle.
Isabelle 13 lines
Type: 📄
Verified: ❌
Package: 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: ❌
Package: 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: ❌
Package: Isabelle Code Example SOFIA
Published: 02/25/2025
Download Code
View Code
Summary: Compute triangular numbers
Dafny 19 lines
Type: 📦
Verified: ❌
Package: Compute triangular numbers
Published: 01/11/2025
Download Code
View Code
Summary: Isabelle Test Sofia
Isabelle 82 lines
Type: 📄
Verified: ❌
Package: Isabelle Test Sofia
Published: 02/25/2025
Download Code
View Code
Summary: Dafny Good Test
Dafny 24 lines
Type: 📦
Verified: ❌
Package: Dafny Good Test
Published: 02/25/2025
Download Code
View Code
Summary: Defines days and computes the next weekday in Coq.
Rocq 24 lines
Type: 📄
Verified: ❌
Package: Defines days and computes the next weekday in Coq.
Published: 02/25/2025
Download Code
View Code
