File: lean_version.lean

package info (click to toggle)
mathlibtools 1.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 272 kB
  • sloc: python: 1,388; sh: 90; makefile: 3
file content (10 lines) | stat: -rw-r--r-- 265 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
 
-- Print the current version of lean, using logic copied from leanpkg.

import system.io

def lean_version_string_core :=
let (major, minor, patch) := lean.version in
sformat!("{major}.{minor}.{patch}")

def main : io unit :=
io.put_str_ln lean_version_string_core