mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-29 18:17:05 -05: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
|
|
---
|
|
|