GitXplorerGitXplorer
s

050-template-coq

public
0 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
1d056a2ed6eee6632feddf8561b9ef8dd4a3e9d1

ignore generated makefiles

ssakekasi committed a year ago
Unverified
b5bb06e0c5e20c17e061a701611b863ac4417367

move cpdt code to docker image

ssakekasi committed a year ago
Unverified
19d189ced4e1c7a525510a6ff0e3ffbbd0ddd6ec

update excludes

ssakekasi committed a year ago
Unverified
6dd97f0ea92527e09e8a96b7e929bbd8c0972d90

update gitignore

ssakekasi committed a year ago
Unverified
97853b0cb9b9c1f2b4ce9051de68f5ae3c160094

add code for crush

ssakekasi committed a year ago
Unverified
abb58b03f5737c961eb39ec3f0df509964d145c7

add devcontainer definitions

ssakekasi committed a year ago

README

The README file for this repository.

{{your project name here}}

{{insert brief explanation of your project here}}

Getting Started

{{commands to run and software to install to get setup}} {{prefer using docker-compose and devcontainers to reduce friction}}

Technology

  • fish
  • vscode
  • ocaml
  • coq
  • coq-lsp