Published October 11, 2020
| Version v1
Presentation
Open
Monadic W in Coq
Authors/Creators
- 1. Universidade do Estado de Santa Catarina
Description
Video about the Monadic W in Coq for the SBLP 2020.
Files
w_in_coq_sblp2020.mp4
Files
(179.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:233c4161278d1e823d59536d2a8884c8
|
179.2 MB | Preview Download |