| layout |
header |
excerpt |
intro |
feature_row |
feature_row2 |
feature_row3 |
feature_row4 |
splash |
| overlay_color |
overlay_filter |
overlay_image |
actions |
caption |
#000 |
0.5 |
/assets/images/rooster-unsplash-ilona-frey.jpg |
| label |
url |
About Us |
/about/ |
|
|
|
|
Supporting open source projects in the Coq ecosystem. |
| excerpt |
Mechanized logic is transforming computer science. We are working to help make it happen. [Find out more](/about/). |
|
|
| image_path |
image_caption |
alt |
title |
excerpt |
/assets/images/rooster-unsplash-michael-anfang.jpg |
|
Image of a rooster |
Placeholder 1 |
This is some sample content that goes here with **Markdown** formatting. |
|
| image_path |
image_caption |
alt |
title |
excerpt |
url |
btn_label |
btn_class |
/assets/images/rooster-unsplash-ram-kumar.jpg |
|
Image of a rooster |
Placeholder 2 |
This is some sample content that goes here with **Markdown** formatting. |
/about/ |
Read More |
btn--primary |
|
| image_path |
image_caption |
title |
excerpt |
/assets/images/rooster-unsplash-chuttersnap.jpg |
|
Placeholder 3 |
This is some sample content that goes here with **Markdown** formatting. |
|
|
| image_path |
image_caption |
alt |
title |
excerpt |
url |
btn_label |
btn_class |
/assets/images/rooster-unsplash-ben-hummitzsch.jpg |
|
Image of a rooster |
FM Growth |
We are measuring the growth of formal methods in open source communities. |
|
Read the Report |
btn--primary |
|
|
| image_path |
image_caption |
alt |
title |
excerpt |
url |
btn_label |
btn_class |
/assets/images/rooster-unsplash-fabian-joy.jpg |
|
Image of a rooster |
vstyle: a style guide for Coq |
Style is a highly visible property of open source software. It impacts most of the workflows involving source code. *Good* style improves productivity by accounting for those workflows. To bring the benefits of good style to the masses, we are working with the community to identify & document the best practices for open source projects in the Coq ecosystem. |
|
Learn More |
btn--primary |
|
|
| image_path |
image_caption |
alt |
title |
excerpt |
url |
btn_label |
btn_class |
/assets/images/rooster-unsplash-rd-smith.jpg |
|
Image of a rooster |
Placeholder Image Center Aligned |
This is some sample content that goes here with **Markdown** formatting. Centered with `type="center"` |
#test-link |
Read More |
btn--primary |
|
|
{% include feature_row id="intro" type="center" %}
{% include feature_row id="feature_row2" type="left" %}
{% include feature_row id="feature_row3" type="right" %}