mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-12-24 16:12:44 +00:00
7 lines
82 B
Markdown
7 lines
82 B
Markdown
|
---
|
||
|
title: "Group Theory in Coq"
|
||
|
date: 2019-05-21T22:17:00-04:00
|
||
|
draft: true
|
||
|
---
|
||
|
|