so far, I've been the first to try and actually use floating-point arithmetic in three different proof assistants
@edwinbrady@twitter.com anyone tried to do floating-point arithmetic in idris2 yet, or is that position still open?
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!
@edwinbrady@twitter.com anyone tried to do floating-point arithmetic in idris2 yet, or is that position still open?