2 ms·
It used to be that you could write Coq in Kant (KDE's Kate editor before it was renamed for... similar reasons - though much much earlier / quicker).
by ahartmetz 7mo ago
It used to be that you could write Coq in Kant (KDE's Kate editor before it was renamed for... similar reasons - though much much earlier / quicker).