allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-08-15 16:00:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/0-Core-Formalism/lean/Semantics/domain_manifest.json

3 lines
129 B
JSON
Raw Blame History

version https://git-lfs.github.com/spec/v1
oid sha256:476d4aa19a729499476b9118fdcdf4256bab610d9b47e8905b2d8e2b3a6763ee
size 2292
Reference in a new issue View git blame Copy permalink