/Provably_Correct_Finite_Maps

Provably Correct Key-Value Maps in Agda

Primary LanguageAgda

Stargazers

No one’s star this repository yet.