J Tanner Slagel
@FormalMethods@mathstodon.xyz
Joined: 12/04/2022
About J Tanner Slagel
NASA Formal Methods Prototype Verification System Math Stuff
{n, plural, =1 {List} other {Lists}}
{username} has no public lists
Timeline
{username} has no activity yet