SKIL

swMATH25433MaRDI QIDQ37172FDOQ37172

Author name not available (Why is that?)

Cited In (1)

• Proof-search in type-theoretic languages: An introduction

This page was built for software: SKIL