GitHub repository: tomaz1502/RunTimeFormalization
Primary language: Lean
Created: 2021-01-22T19:31:50Z
Description: BSc Final Project: Formalizing run time complexity of sorting algorithms using Lean