diff options
| author | Brian Campbell | 2018-12-29 14:59:09 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-12-29 14:59:09 +0000 |
| commit | 771f041a48f611a4869a7a19fa39672581b5ba9a (patch) | |
| tree | 9d1f45ab16c09682a4394dd32e77e87d4fb5dcbe /doc/tutorial.tex | |
| parent | ac945514d59d91e51a63149b39b472421e59e299 (diff) | |
Coq: ensure that recursive functions compute
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions