This is your work, valued

benjaminflin

Advanced
@benjaminflin

Research Scientist at Peraton Labs.

idris-qsort. Verified Quicksort in Idris 2

6

bch-codes. Python

3

dtds. Idris

1