Summary: Binary Search
RefinedC 11 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/t00_intro
Download Code
View Code
Summary: t03_list
RefinedC 23 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/t03_list
Download Code
View Code
Summary: t06_struct
RefinedC 18 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/t06_struct
Download Code
View Code
Summary: Calculates triangles numbers (sum of n(n+1)/2)
RefinedC 13 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/triangle_numbers/
Download Code
View Code
Summary: bignums example
Dafny 287 lines
Type: 📄
Verified: ❌
File: bignums example
Download Code
View Code
Summary: Armin Bignums - New
Dafny 316 lines
Type: 📄
Verified: ❌
File: Armin Bignums - New
Download Code
View Code
Summary: iterative sum up to n
RefinedC 12 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/sum-upto-n-coq
Download Code
View Code
Summary: RefinedC Latch 2
RefinedC 7 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Latch
Download Code
View Code
Summary: Dafny Binary Search
Dafny 22 lines
Type: 📦
Verified: ✅
Package: Dafny Binary Search
Download Code
View Code
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
