The following list of posts is filtered
Clear Filter
Posts
1-3pm ET July 9 – Aug 21, in-person & onlne, non-credit
Lean for Scientists and Engineers Meets twice weekly, 1-3pm ET, July 9 – August 21, 2024 in-person at UMBC and online UMBC’s AI & Theory-Oriented Molecular Science Lab (ATOMS) will teach...
July 5, 2024
·
10:55 AM
Join an informal group meeting 1-3 Wed. this summer
Interested in learning to write computer-checked math proofs? Interested in learning an exciting new programming language? Lean 4 is a new programming language that can be used to write code...
June 25, 2023
·
9:56 PM