Giters

ogiekako / software_foundations

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

What it is

This is the repository me going over the online book series Software Foundations.

How to setup

  1. Install Coq
sudo apt install coq
  1. Open VSCode and install the recommended extension

About

Languages

Language:Coq 100.0%Language:Shell 0.0%