Témakör: Proof assistant tools
GURU
GURU	101	1995-05-05	Proof assistant tools	Faary Endre