leanprover-community/lean-liquid

Setup CI to check that thm95 stays sorry-free

jcommelin opened this issue · 0 comments

jcommelin commented
Setup CI to check that thm95 stays sorry-free