Kettle, Turing-complete
@turingfull_kettle@mathstodon.xyz
Joined: 11/29/2024
About Kettle, Turing-complete
program analysis, software verification, software model checking. ru/en
Lists
{username} has no public lists
Timeline
{username} has no activity yet