Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
endedScore 42026. 7. 29. 오후 12:42 ~ 2026. 7. 29. 오후 12:42
Status Lifecycle
1
New2
Rising3
Peak4
EndedTimeline
총 문서 수
1
추적 기간
1일
Score
4
최대 doc_count
1
총 문서 수
1
추적 기간
1일
Score
4
최대 doc_count
1