rygorous, 1 month ago

@aeva The issue with that is that to check it, in general you need to actually run the code, which has problems, specifically it might just never terminate and things like that.