Skip to content
View TwoFX's full-sized avatar
🦎
At first Anthony thinks the compiler must be trolling him.
🦎
At first Anthony thinks the compiler must be trolling him.
82 followers · 5 following

Organizations

@leanprover @haikuports @wavelength-ide @leanprover-community @CamPartIIIMaths

Block or report TwoFX

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Search results