hckrnws
1 month ago
Fri Dec 12, 2025 11:26pm PST
50 years of proof assistants
@baruchel
read article
comments:
add comment
loading comments...