Spaces:

napoles3d
/

gitscience-observatory

Running

App Files Files Community

gitscience-observatory / app.js

Commit History

Refresh formalization assets

b72baa9
verified

napoles3d commited on about 12 hours ago

Expose human-approved Lean formalizations

f481f52
verified

napoles3d commited on about 12 hours ago

Render canonical articles and contribution paths

3c8a227
verified

napoles3d commited on 1 day ago

Add study narratives and canonical registry export

3cfb6fc
verified

napoles3d commited on 6 days ago

Launch GitScience Observatory demo

3a426eb
verified

napoles3d commited on 7 days ago