software-foundations
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Suggested Answers |
|
1 | 1227 | July 7, 2020 |
| Software Foundation Hoare solution |
|
1 | 1020 | June 11, 2020 |
| Need guidance on proving a lemma |
|
2 | 1250 | May 20, 2020 |
| Problemas con importar (Software Foundations Imp) |
|
6 | 853 | April 9, 2020 |
| How can I find out if a specification is precise enough? |
|
1 | 1038 | February 18, 2020 |
| Any resources for those studying Software Foundations on their own? |
|
5 | 1333 | February 7, 2020 |
| Is it possible to prove the theorem I created? |
|
7 | 2285 | February 3, 2020 |
| Inductive relations |
|
4 | 2309 | December 6, 2019 |
| Defining propositions recursively |
|
2 | 844 | November 19, 2019 |