Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
interop
arith
update-thm-numbers.el
Find file
Blame
History
Permalink
Add an Emacs Lisp script automating the search for Holide theorem numbers
· 2bdca923
Raphael Cauderlier
authored
Mar 25, 2017
2bdca923