• Joined on Apr 16, 2021

Updated 2 months ago

My experimentation with theorem provers

Updated 8 months ago

Implementations of tetris in various libraries

Updated 1 year ago

Updated 7 months ago

Updated 2 years ago

Updated 10 months ago

Updated 10 months ago

Updated 2 years ago

Updated 2 years ago

Updated 6 months ago

Updated 9 months ago

Updated 1 year ago

Updated 2 years ago