![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| sudoku.py.txt | 2020-02-23 03:52 | 2.2K | |
| sudoku.ipynb | 2020-02-23 03:50 | 4.2K | |
| Z3Python.py.txt | 2020-02-23 03:50 | 10K | |
| Z3Python.ipynb | 2020-02-23 03:46 | 19K | |
| sudoku.pdf | 2020-02-23 03:51 | 27K | |
| instalado.pdf | 2020-02-04 22:46 | 52K | |
| Z3Python.pdf | 2020-02-23 03:46 | 55K | |
| instaladoSwitchOpam...> | 2020-02-04 22:49 | 56K | |
| Coq(2).pdf | 2020-04-22 20:21 | 64K | |
| Coq(3).pdf | 2020-04-29 20:12 | 80K | |
| Coq(1).pdf | 2020-04-14 16:55 | 100K | |
| intro.pdf | 2020-02-06 00:04 | 132K | |
| VF1920-projecto.pdf | 2020-05-26 10:57 | 152K | |
| SATsolving.pdf | 2020-02-06 00:48 | 164K | |
| SMTsolving.pdf | 2020-02-20 08:02 | 249K | |
| ProgramProving+Coq.pdf | 2020-04-29 20:12 | 271K | |
| DeductiveReasoning+C..> | 2020-04-22 20:11 | 518K | |
| FOL+SMT.pdf | 2020-02-20 15:36 | 856K | |
| PL+SAT.pdf | 2020-02-06 15:23 | 3.0M | |
| SMTsolvers.pdf | 2020-02-25 20:16 | 3.2M | |