Summary: addition of numbers using for and while loops

Dafny 39 lines

ID: 10593

Type: 📄

Verified: ✅

Package: addition of numbers using for and while loops

Published: 05/23/2025

Download Code

View Code

Edit Code

Summary: Max's BigNum package

Dafny 277 lines

ID: 10576

Type: 📄

Verified: ❌

Package: Max's BigNum package

Published: 05/16/2025

Download Code

View Code

Edit Code

Summary: Bignums - Demo

Dafny 276 lines

ID: 10575

Type: 📄

Verified: ❌

Package: Bignums - Demo

Published: 05/16/2025

Download Code

View Code

Edit Code

Summary: binary tree

Lean 86 lines

ID: 9950

Type: 📄

Verified: ✅

Package: binary tree

Published: 05/15/2025

Download Code

View Code

Edit Code

Summary: Matrix String Operations in Dafny

Dafny 171 lines

ID: 5143

Type: 📄

Verified: ❌

Package: Matrix String Operations in Dafny

Published: 04/11/2025

Download Code

View Code

Edit Code

Summary: Quicksort

RefinedC 13 files

ID: 5130

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: t01_basic

RefinedC 19 files

ID: 5164

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: t02_evars

RefinedC 15 files

ID: 5179

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: t07_arrays

RefinedC 13 files

ID: 5233

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: t08_tree

RefinedC 28 files

ID: 5261

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: t09_switch

RefinedC 13 files

ID: 5274

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: t10_loops

RefinedC 10 files

ID: 5284

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: t11_tree_set

RefinedC 21 files

ID: 5305

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: sum up to n

Rocq 14 lines

ID: 4955

Type: 📄

Verified: ✅

Package: sum up to n

Published: 04/15/2025

Download Code

View Code

Edit Code

Summary: Binary Search

RefinedC 11 files

ID: 5141

Type: 🗄️

Verified: ❌

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

Published: 04/15/2025

Download Code

View Code

Edit Code