Summary: Refined C Binary Search

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

Summary: RefinedC BTree

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

Summary: QuickSort Isabelle Demo #1

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

Summary: Isabelle Multi File Repo

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

Summary: Ackermann function is monotonic

Package: Ackermann function is monotonic

Summary: Isabelle Fib Test

Summary: A lemma demonstrating ordered rewriting in commutative rings.

Summary: Dafny Good Test

Package: Dafny Good Test

Summary: Isabelle code for Fibonacci function and its correctness proofs.

Summary: Compute triangular numbers

Package: Compute triangular numbers

Summary: Proves the distributive property in Isabelle.

Summary: IsabelleTestSofia1

Summary: LeanTest3

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

Summary: Isabelle Test Sofia