Sign in
Join now
jest
shibbi.me
/
Star
Starred
Star
4
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Jest Programming Language
Star
Starred
Star
4
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
jest
/
scripts
3 files
at
lean4
Siobhán Sterrett
·
docs(formal): add Layer 1 validation strategy and generator improvement plans
·
7mo ago
051da4b5
differential_test.py
docs(formal): add Layer 1 validation strategy and generator improvement plans
7mo ago
lean_docs_fetcher.py
feat: add Lean 4 docs fetcher tool
7mo ago
requirements.txt
feat: add Lean 4 docs fetcher tool
7mo ago
