Skip to content
Snippets Groups Projects
Ralf Jung's avatar
Ralf Jung authored
add telescopes and a bit of theory about them

See merge request robbertkrebbers/coq-stdpp!33
5bcfb8b0
History
Name Last commit Last update