Tomohiro Oda
Results
22
comments of
Tomohiro Oda
Yes, quantifiers part is not too many(forall, exists, exists1, iota, set/seq/map comprehension, let-be-st, for, for-all), but rules like ```(inds s):seq1 of t```⊢```s:set of t``` is hard to cover all cases....
I like this idea. I don't know the current status of Overture Web IDE, but If Overture Web IDE has such Web API, we can construct a evaluatable documentation of...