4 ms·
ACL2 Version 6.5
- dbpokorny 12y agoStill no epsilon-delta support? This is the sort of thing I have in mind: http://math.stackexchange.com/questions/110573/continuous-function-on-a-compact-metric-space-is-uniformly-continuous http://math.stackexchange.com/questions/110573/continuous-fu...