Pinned Loading

1. A language for symbolic transitions system, inspired by Ivy.

   Python 74 15

2. Literate coq blog posts

   Python 17 1

3. some Coq tactics I've found useful

   Coq 5