[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-104956":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":15,"subscribersCount":15,"size":15,"stars1d":16,"stars7d":16,"stars30d":16,"stars90d":15,"forks30d":15,"starsTrendScore":17,"compositeScore":18,"rankGlobal":10,"rankLanguage":10,"license":19,"archived":20,"fork":20,"defaultBranch":21,"hasWiki":20,"hasPages":20,"topics":22,"createdAt":10,"pushedAt":23,"updatedAt":24,"readmeContent":10,"aiSummary":10,"trendingCount":15,"starSnapshotCount":15,"syncStatus":14,"lastSyncTime":25,"discoverSource":26},104956,"CFSG","AxiomMath\u002FCFSG","AxiomMath","A Lean formalization of the Classification of Finite Simple Groups","https:\u002F\u002Fcfsg.axiommath.ai",null,"Lean",137,15,2,0,13,39,67.41,"Apache License 2.0",false,"main",[],"2026-10-27 15:07:45","2026-10-29 12:21:12","2026-10-30 04:26:18","CREATED_QUERY"]