| ▲ | pramodbiligiri an hour ago | |
Usually goes under Formal Methods: https://github.com/luigiapetre/Formal-Methods-Courses There’s a book called Logic for Programmers: https://leanpub.com/logic#table-of-contents | ||
| ▲ | pramodbiligiri an hour ago | |
Usually goes under Formal Methods: https://github.com/luigiapetre/Formal-Methods-Courses There’s a book called Logic for Programmers: https://leanpub.com/logic#table-of-contents | ||