Setun 69

Setun 69

A Setun-70 simulator with modern API integration.

By Barton Rhodes

Welcome Message

Welcome to the Setun-70 simulator!

Prompt Starters

  • Computational Categorical Rewriting