3 ms·

I wonder if a a usable subset of SQLite/sql92 would be amiable to to formal methods, or if that is still to big?

• jfk13 8y ago
  I think you meant "amenable" rather than "amiable" here.