1 search result for "tag:"logpath:TLC""

Showing 1 - 1

coq-tlc

No documentation

TLC: A Library for Classical Coq

category:Computer Science/Data Types and Data Structures date:2024-02-09 keyword:classical logic logpath:TLC

Arthur Charguéraud

20240209

MIT

Used by 2 other packages

13 Feb 2024