mirror of
https://github.com/Brandon-Rozek/website.git
synced 2025-03-11 17:04:31 +00:00
6 lines
82 B
Markdown
6 lines
82 B
Markdown
---
|
|
title: "Group Theory in Coq"
|
|
date: 2019-05-21T22:17:00-04:00
|
|
draft: true
|
|
---
|
|
|