Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Publish the dawn post

Browse Source
This commit is contained in:
Danila Fedorin 2021-11-20 23:36:57 -08:00
parent 0c004b2e85
commit 18f493675a
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
content/blog/coq_dawn.md
View File

@ -2,7 +2,6 @@
title: "Formalizing Dawn in Coq" title: "Formalizing Dawn in Coq"
date: 2021-11-20T19:04:57-08:00 date: 2021-11-20T19:04:57-08:00
tags: ["Coq", "Dawn"] tags: ["Coq", "Dawn"]
draft: true
--- ---
The [_Foundations of Dawn_](https://www.dawn-lang.org/posts/foundations-ucc/) article came up The [_Foundations of Dawn_](https://www.dawn-lang.org/posts/foundations-ucc/) article came up