Joachim Breitner ad77e7e762 chore: Issue template: Suggest #eval Lean.versionString (#2884) ... as this works also on https://live.lean-lang.org/ or for people not familiar with the command line.		2023-11-16 18:40:55 +01:00
..
ISSUE_TEMPLATE	chore: Issue template: Suggest #eval Lean.versionString (#2884)	2023-11-16 18:40:55 +01:00
workflows	chore: releases for web assembly and x86 Linux (#2855)	2023-11-15 18:18:47 +01:00
PULL_REQUEST_TEMPLATE.md	doc: Update contribution guides (#2624)	2023-10-25 13:05:55 +11:00