You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+14-1Lines changed: 14 additions & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -2,8 +2,21 @@
2
2
3
3
[netverify.fun](http://www.netverify.fun) is a site dedicated to commentary on the state of network verification and synthesis.
4
4
5
-
# How to contribute an article
5
+
# Contributing an article
6
6
7
7
Create a new markdown file with the content of your post. You can look at some examples in the `_posts` directory. The file should be named in the following format: `YYYY-MM-DD-title-of-your-post`. Then submit a new PR with the blog post you want to add.
8
8
9
9
If you want to add an image to your article, simply add the image to the `assets/images/` directory and link to it in the article markdown file.
10
+
11
+
# Building and viewing locally
12
+
13
+
You can build and view this site locally using [Jekyll](https://jekyllrb.com/).
0 commit comments