File size: 345 Bytes
ef6eb55 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | import Lake
open Lake DSL
package paxCoder where
name := "pax-coder"
require mathlib from git
"https://github.com/leanprover-community/mathlib4" @ "master"
lean_lib PAX where
roots := #[
`PAX.ConstraintDAG,
`PAX.IR_DAG,
`PAX.PipelineDAG,
`PAX.Float16_Rounding,
`PAX.WMMA,
`PAX.TrainingData
]
|