Experimenting with a new mathematical foundation :D

@jaycech3n Whoa, what language/editor is this? I don't think I've seen this before

@jrhawley The code itself is the input language of the proof assistant Isabelle.
The pretty picture is not actually an editor; just a pretty vehicle to present code generated by

@jaycech3n Very cool, I actually haven't heard of either of those before

Sign in to participate in the conversation
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.