search

HEPLean / HepLean

A project to digitalise results from high energy physics into Lean.
https://heplean.github.io/HepLean/
Apache License 2.0
56 stars 4 forks source link

feat: Node identities for index notation #199

Closed jstoobysmith closed 19 hours ago

jstoobysmith commented 1 day ago

Working on adding node identities for index notation trees.