GitXplorerGitXplorer
s

050-template-coq

public
0 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
09bb39fa5e37a30a428938d531673cf2edccc33c

update readme

ssakekasi committed a year ago
Unverified
44afa91eaa53f8d89ad0d3960ee321905e735f1b

Add .env

ssakekasi committed a year ago
Verified
3470be2773eb2976076d6a6885b5ddccb32353cb

Initial commit

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