Search for tag: "mathematical proofs"

20190709_SCT_Robert Brandom

From  Carla Liesching July 19, 2019 78 plays

CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms

From  E. Cornelius May 17, 2018 8 plays