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: Compute triangular numbers

Dafny 19 lines

ID: 4967

Type: 📦

Verified: ❌

Package: Compute triangular numbers

Published: 01/11/2025

Download Code

View Code

Edit Code

Summary: Dafny Good Test

Dafny 24 lines

ID: 4983

Type: 📦

Verified: ❌

Package: Dafny Good Test

Published: 02/25/2025

Download Code

View Code

Edit Code

Summary: Isabelle Fib Test

Isabelle 82 lines

ID: 4987

Type: 📄

Verified: ❌

File: Isabelle Fib Test

Published: 02/24/2025

Download Code

View Code

Edit Code

Summary: Defines a recursive Fibonacci function in Isabelle.

Isabelle 13 lines

ID: 4988

Type: 📄

Verified: ❌

File: Defines a recursive Fibonacci function in Isabelle.

Published: 02/25/2025

Download Code

View Code

Edit Code