|
|
5eb0d1548c
|
Update dawn-in-coq to new math delimiters
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-13 18:55:59 -07:00 |
|
|
|
7d5b39f130
|
Make most tables not wrap on small screens
|
2022-09-10 23:56:08 -07:00 |
|
|
|
826dde759f
|
Finish a draft of the UCC evaluator article
|
2021-11-28 16:50:28 -08:00 |
|
|
|
71689fce79
|
Update tags
|
2021-11-21 16:20:18 -08:00 |
|
|
|
e7185ff460
|
Fix calling UCC Dawn
|
2021-11-21 12:38:19 -08:00 |
|
|
|
18f493675a
|
Publish the dawn post
|
2021-11-20 23:36:57 -08:00 |
|
|
|
0c004b2e85
|
Edit the Dawn post a bit
|
2021-11-20 23:36:45 -08:00 |
|
|
|
c214d9ee37
|
Add the initial version of the Dawn article.
|
2021-11-20 23:21:03 -08:00 |
|
