Summary: bignums example

Dafny 287 lines

ID: 5115

Type: 📄

Verified: ❌

File: bignums example

Published: 04/02/2025

Download Code

View Code

Edit Code

Summary: Armin Bignums - New

Dafny 316 lines

ID: 5114

Type: 📄

Verified: ❌

File: Armin Bignums - New

Published: 03/26/2025

Download Code

View Code

Edit Code

Summary: Calculates triangles numbers (sum of n(n+1)/2)

RefinedC 13 files

ID: 5101

Type: 🗄️

Verified: ❌

Repo: https://github.com/toloraia/triangle_numbers/

Published: 03/26/2025

Download Code

View Code

Edit Code

Summary: iterative sum up to n

RefinedC 12 files

ID: 5089

Type: 🗄️

Verified: ❌

Repo: https://github.com/toloraia/sum-upto-n-coq

Published: 03/24/2025

Download Code

View Code

Edit Code

Summary: RefinedC Latch 2

RefinedC 7 files

ID: 5057

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Latch

Published: 03/07/2025

Download Code

View Code

Edit Code

Summary: Dafny Binary Search

Dafny 22 lines

ID: 5071

Type: 📦

Verified: ✅

Package: Dafny Binary Search

Published: 03/07/2025

Download Code

View Code

Edit Code

Summary: Karatsuba

Isabelle 6 files

ID: 5032

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/Karatsuba_isa

Published: 03/07/2025

Download Code

View Code

Edit Code

Summary: Refined C Binary Search

RefinedC 9 files

ID: 5023

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Test

Published: 03/06/2025

Download Code

View Code

Edit Code

Summary: RefinedC BTree

RefinedC 12 files

ID: 5038

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Btree

Published: 03/06/2025

Download Code

View Code

Edit Code

Summary: QuickSort Isabelle Demo #1

Isabelle 1 files

ID: 5018

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/Isabelle_Quicksort_Ex

Published: 03/06/2025

Download Code

View Code

Edit Code

Summary: Isabelle Multi File Repo

Isabelle 4 files

ID: 5019

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/Isabelle_multi_file_repo

Published: 03/06/2025

Download Code

View Code

Edit Code

Summary: Isabelle Test Sofia

Isabelle 82 lines

ID: 4994

Type: 📄

Verified: ❌

File: Isabelle Test Sofia

Published: 02/25/2025

Download Code

View Code

Edit Code

Summary: Defines days and computes the next weekday in Coq.

Coq 24 lines

ID: 4995

Type: 📄

Verified: ❌

File: Defines days and computes the next weekday in Coq.

Published: 02/25/2025

Download Code

View Code

Edit Code

Summary: LeanTest3

Lean 10 lines

ID: 4996

Type: 📄

Verified: ❌

File: LeanTest3

Published: 02/25/2025

Download Code

View Code

Edit Code

Summary: IsabelleTestSofia1

Isabelle 12 lines

ID: 4997

Type: 📄

Verified: ❌

File: IsabelleTestSofia1

Published: 02/25/2025

Download Code

View Code

Edit Code