Skip to content

Commit a2e26a8

Browse files
Full list of supported games in config.yml
1 parent 4bf761d commit a2e26a8

1 file changed

Lines changed: 15 additions & 0 deletions

File tree

.github/ISSUE_TEMPLATE/config.yml

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,18 @@ contact_links:
99
- name: Real Analysis Game
1010
url: https://github.com/alexkontorovich/realanalysisgame/issues/new/choose
1111
about: Raise issues regarding the contents of the game Robo/Scribble
12+
- name: Set Theory Game
13+
url: https://github.com/djvelleman/stg4/issues/new/choose
14+
about: Raise issues regarding the contents of the Set Theory Game
15+
- name: Logic Game
16+
url: https://github.com/trequetrum/lean4game-logic/issues/new/choose
17+
about: Raise issues regarding the contents of the Logic Game
18+
- name: Reintroduction to Proofs
19+
url: https://github.com/emilyriehl/reintroductiontoproofs/issues/new/choose
20+
about: Raise issues regarding the contents of the game Reintroduction to Proofs
21+
- name: Knights and Knaves
22+
url: https://github.com/jadabouhawili/knightsandknaves-lean4game/issues/new/choose
23+
about: Raise issues regarding the contents of the game Knights and Knaves
24+
- name: Linear Algebra Game
25+
url: https://github.com/zrtmrh/linearalgebragame/issues/new/choose
26+
about: Raise issues regarding the contents of the Linear Algebra Game

0 commit comments

Comments
 (0)