This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
code4math Community
code4math.org
did:plc:a4tiixue7idbjjgruflyvlga
The new NSF Institute for Computer-Aided Reasoning (ICARM) is hiring Innovation Engineers! Contact Director Jeremy Avigad (avigad@cmu.edu) with any questions you have about this position!
https://cmu.wd5.myworkdayjobs.com/CMU/job/Pittsburgh-PA/Innovation-Engineer---Office-of-the-Vice-President-for-Research_2023697
code4math Zulip discussion: code4math.zulipchat.com#narrow/chann...
2025-09-24T14:50:10.558Z