GitHub repository: math-book-club/agda
Primary language: Agda
Created: 2020-03-09T21:07:29Z
Description: Exploring formally verified software development.