We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 77d008e commit e31248bCopy full SHA for e31248b
1 file changed
README.md
@@ -165,3 +165,4 @@ For a list containing more detailed information, see https://leanprover-communit
165
* Johannes Hölzl (@johoelzl): measure theory, topology
166
* Simon Hudon (@cipher1024): tactics
167
* Chris Hughes (@ChrisHughes24): algebra
168
+# cb-impl
0 commit comments