HN
Hacker News
Top
New
Best
Ask
Show
Jobs
ACL2 Version 6.5 | Hacker News Reader
ACL2 Version 6.5
cs.utexas.edu
36 points
·
lelf
·
·
1 comment
Open article
Save
View on HN
dbpokorny
·
Still no epsilon-delta support? This is the sort of thing I have in mind:
http://math.stackexchange.com/questions/110573/continuous-fu...
Reply on news.ycombinator.com