<commit_before># sf-sol

In this repository are my solutions to the exercises in software
foundations coq tutorial.

![screenshot to my coq environment](https://raw.githubusercontent.com/shouya/sf-sol/master/coq_with_proofgeneral_and_prooftree.png)

## Coq Study Resources

-[Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/current/index.html)
-[Chapter 8: tactics](http://coq.inria.fr/distrib/current/refman/Reference-Manual010.html)
-[IRC #coq](http://webchat.freenode.net/?channels=%23coq&uio=Mj10cnVlJjM9ZmFsc2UmOT10cnVlJjEwPXRydWU76)
-[Reference Manual](http://coq.inria.fr/distrib/current/refman/toc.html)
-[proofgeneral (a coq IDE for emacs)](http://pldev.blogspot.jp/2012/01/getting-started-with-coq-and-proof.html)
-[prooftree (proofgeneral plugin)](http://askra.de/software/prooftree/)
<commit_msg>format links in readme doc.<commit_after># sf-sol

In this repository are my solutions to the exercises in software
foundations coq tutorial.

![screenshot to my coq environment](https://raw.githubusercontent.com/shouya/sf-sol/master/coq_with_proofgeneral_and_prooftree.png)

## Coq Study Resources

- [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/current/index.html)
- [Chapter 8: tactics](http://coq.inria.fr/distrib/current/refman/Reference-Manual010.html)
- [IRC #coq](http://webchat.freenode.net/?channels=%23coq&uio=Mj10cnVlJjM9ZmFsc2UmOT10cnVlJjEwPXRydWU76)
- [Reference Manual](http://coq.inria.fr/distrib/current/refman/toc.html)
- [proofgeneral (a coq IDE for emacs)](http://pldev.blogspot.jp/2012/01/getting-started-with-coq-and-proof.html)
- [prooftree (proofgeneral plugin)](http://askra.de/software/prooftree/)

{'fraction_non_alphanumeric': 0.15120481927710844, 'fraction_numerical': 0.024096385542168676, 'mean_word_length': 5.69758064516129, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4165121', 'n_tokens_mistral': 680, 'n_tokens_neox': 619, 'n_words': 88}