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
turingfull_kettle has no public lists
Timeline
turingfull_kettle has no activity yet