CIRCLE WITH A DOT

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

bool@mathstodon.xyz

@bool@mathstodon.xyz

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Reputation 0

Profile views 1

Joined

Last Online

homepage alecsferra.github.io

github github.com/alecsferra