software-foundations
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Software Foundation Hoare solution |
|
1 | 1009 | June 11, 2020 |
| Need guidance on proving a lemma |
|
2 | 1240 | May 20, 2020 |
| Problemas con importar (Software Foundations Imp) |
|
6 | 816 | April 9, 2020 |
| How can I find out if a specification is precise enough? |
|
1 | 1031 | February 18, 2020 |
| Any resources for those studying Software Foundations on their own? |
|
5 | 1320 | February 7, 2020 |
| Is it possible to prove the theorem I created? |
|
7 | 2263 | February 3, 2020 |
| Inductive relations |
|
4 | 2288 | December 6, 2019 |
| Defining propositions recursively |
|
2 | 834 | November 19, 2019 |