Student Spotlight

Showing items tagged programming. Show All

Free class: Programming in Lean for Scientists and Engineers

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...

Posted: July 5, 2024, 10:55 AM

Learn Lean 4 programming language & proof assistant

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...

Posted: June 25, 2023, 9:56 PM