tomaz1502 / RunTimeFormalization Public

Notifications You must be signed in to change notification settings
Fork 1
Star 5

A formalization of the run time complexity of Insertion Sort and Merge Sort.

5 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
FutureWork		FutureWork
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
.gitpod.yml		.gitpod.yml
Proposal.pdf		Proposal.pdf
README.md		README.md
Report.pdf		Report.pdf
leanpkg.path		leanpkg.path
leanpkg.toml		leanpkg.toml

Repository files navigation

RunTimeFormalization

NOTE: Superseeded by https://github.com/tomaz1502/RunTimeFormalization4

BSc Final Project: Formalizing run time complexity of sorting algorithms using Lean

About

A formalization of the run time complexity of Insertion Sort and Merge Sort.

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

Lean 100.0%