1 post
@lobsters Proving the Fundamental Theorem of Arithmetic in Agda #Agda #FormalMethods #Math
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org