| C00-1036 | the GF editor is essentially a | proof editor | together with supplementary views |
| C00-1036 | of GF is a plugin module of the | proof editor | Alfa ( Hallgren , 2000 ) . The |
| W14-1401 | The Implementation of ALF - a | Proof Editor | based on Martin-L ¨ of 's |
| C00-1036 | constructive type-theory and mathematical | proof editors | . We will now sketch an approach |
| E03-2003 | roots in interactive mathematical | proof editors | , and which provides the core |
| C00-1036 | type theory , usually known as | proof editors | ( Magnusson and NordstrOm , 1994 |
| C00-1036 | Ranta , 1994 ) and in mathematical | proof editors | ( Magnusson and Nordstr6m , 1994 |
| W00-1404 | with interactive mathematical | proof editors | ( Magnusson and Nordstrom , 1994 |
| C02-1128 | was inspired by the interactive | proof editors | in a higher-order typed/functional |
