tlc
tlc copied to clipboard
charguer
Library for Classical Coq
Results
1
tlc issues
Sort by
recently updated
recently updated
newest added
Adapt to https://github.com/coq/coq/pull/19530 This is an adaptation in anticipation of the day the temporary backward compatibility introduced in the upstream PR will be removed (probably a few years in the...
