diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-10-10 11:13:59 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-10-10 11:20:31 +0200 |
| commit | b4466fdb4e667c88330321e372bd6f93ee9c3513 (patch) | |
| tree | e40e5f2dbc850e7a2ee9072725809b7754ba72de /site/posts/LtacMetaprogramming.v | |
| parent | Fix Coq source scrolling (diff) | |
Create a summary page for the strongly-specified functions series
Diffstat (limited to 'site/posts/LtacMetaprogramming.v')
0 files changed, 0 insertions, 0 deletions