ethereum / fv-blog

Formal verification blog

Home Page:https://fv.ethereum.blog

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Formal verifcation blog

Hello!

This repo is adapted from the solidity blog which in turn inherits from the EF blog.

Welcome to GitHub Pages

You can use the editor on GitHub to maintain and preview the content for your website in Markdown files.

Whenever you commit to this repository, GitHub Pages will run Jekyll to rebuild the pages in your site, from the content in your Markdown files.

Markdown

Markdown is a lightweight and easy-to-use syntax for styling your writing. It includes conventions for

Syntax highlighted code block

# Header 1
## Header 2
### Header 3

- Bulleted
- List

1. Numbered
2. List

**Bold** and _Italic_ and `Code` text

[Link](url) and ![Image](src)

For more details see GitHub Flavored Markdown.

Jekyll Themes

Your Pages site will use the layout and styles from the Jekyll theme you have selected in your repository settings. The name of this theme is saved in the Jekyll _config.yml configuration file.

Support or Contact

Having trouble with Pages? Check out our documentation or contact support and we’ll help you sort it out.

About

Formal verification blog

https://fv.ethereum.blog

License:MIT License


Languages

Language:HTML 37.5%Language:Nix 31.0%Language:CSS 25.8%Language:JavaScript 5.2%Language:Ruby 0.3%Language:Dockerfile 0.1%Language:Shell 0.1%