Summary: TwoFunctionsSofia

Dafny 16 lines

ID: 10585

Type: 📄

Verified: ✅

File: TwoFunctionsSofia

Published: 05/16/2025

Download Code

View Code

Edit Code

Summary: Calculates the sum of the first n natural numbers.

Dafny 16 lines

ID: 4990

Type: 📄

Verified: ✅

File: Calculates the sum of the first n natural numbers.

Published: 05/16/2025

Download Code

View Code

Edit Code

Summary: small

Dafny 17 lines

ID: 10584

Type: 📄

Verified: ✅

File: small

Published: 05/16/2025

Download Code

View Code

Edit Code

Summary: Max's BigNum package

Dafny 277 lines

ID: 10576

Type: 📄

Verified: ❌

File: Max's BigNum package

Published: 05/16/2025

Download Code

View Code

Edit Code

Summary: Bignums - Demo

Dafny 276 lines

ID: 10575

Type: 📄

Verified: ❌

File: Bignums - Demo

Published: 05/16/2025

Download Code

View Code

Edit Code

Summary: binary tree

Lean 86 lines

ID: 9950

Type: 📄

Verified: ✅

File: 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: ❌

File: 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