Conversion of HOL Light proofs into Metamath.
| Autor: | CARNEIRO, MARIO M.1 |
|---|---|
| Zdroj: | Journal of Formalized Reasoning. 2016, Vol. 9 Issue 1, p187-200. 14p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | CARNEIRO, MARIO M.1 |
|---|---|
| Zdroj: | Journal of Formalized Reasoning. 2016, Vol. 9 Issue 1, p187-200. 14p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|