software-foundations
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Another Proof From Logical Foundations Exercises |
|
7 | 1960 | October 1, 2020 |
| Software Foundations/Logical Foundations Exercise |
|
2 | 1119 | July 30, 2020 |
| Asser assume differ |
|
1 | 1355 | July 9, 2020 |
| Suggested Answers |
|
1 | 1255 | July 7, 2020 |
| Software Foundation Hoare solution |
|
1 | 1040 | June 11, 2020 |
| Need guidance on proving a lemma |
|
2 | 1275 | May 20, 2020 |
| Problemas con importar (Software Foundations Imp) |
|
6 | 907 | April 9, 2020 |
| How can I find out if a specification is precise enough? |
|
1 | 1075 | February 18, 2020 |
| Any resources for those studying Software Foundations on their own? |
|
5 | 1422 | February 7, 2020 |
| Is it possible to prove the theorem I created? |
|
7 | 2352 | February 3, 2020 |
| Inductive relations |
|
4 | 2371 | December 6, 2019 |
| Defining propositions recursively |
|
2 | 892 | November 19, 2019 |