Summary: Armin Bignums - New
Dafny 316 lines
Type: 📄
Verified: ❌
File: Armin Bignums - New
Summary: Calculates triangles numbers (sum of n(n+1)/2)
RefinedC 13 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/triangle_numbers/
Summary: iterative sum up to n
RefinedC 12 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/sum-upto-n-coq
Summary: RefinedC Latch 2
RefinedC 7 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Latch
Summary: Dafny Binary Search
Dafny 22 lines
Type: 📦
Verified: ✅
Package: Dafny Binary Search
Summary: Karatsuba
Isabelle 6 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Karatsuba_isa
Summary: Refined C Binary Search
RefinedC 9 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Test
Summary: RefinedC BTree
RefinedC 12 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Btree
Summary: QuickSort Isabelle Demo #1
Isabelle 1 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Isabelle_Quicksort_Ex
Summary: Isabelle Multi File Repo
Isabelle 4 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Isabelle_multi_file_repo
Summary: Isabelle Code Example SOFIA
Isabelle 17 lines
Type: 📄
Verified: ❌
File: Isabelle Code Example SOFIA
Published: 02/25/2025
Summary: Isabelle Test Sofia
Isabelle 82 lines
Type: 📄
Verified: ❌
File: Isabelle Test Sofia
Published: 02/25/2025
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
Summary: LeanTest3
Lean 10 lines
Type: 📄
Verified: ❌
File: LeanTest3
Published: 02/25/2025
Summary: IsabelleTestSofia1
Isabelle 12 lines
Type: 📄
Verified: ❌
File: IsabelleTestSofia1
Published: 02/25/2025