lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Add a Github action workflow to check pull requests on various libraries

Open fblanqui opened this issue 4 years ago • 0 comments

Libraries to check:

  • make dklib focalide matita holide verine iprover zenon_modulo
  • https://github.com/Deducteam/dedukti_set_theory
  • https://github.com/Deducteam/ett-in-lambdapi
  • https://github.com/fblanqui/lib

fblanqui avatar Jan 28 '22 18:01 fblanqui