Scilib Lean 4 Evidence Builder
Search papers, turn findings into claims, link them into an evidence graph, and generate a Lean 4 script that checks the graph.
2. Claims, experiments and links
Claims
Experiments
Links entails: premises → conclusion · interprets: claim → experiment · contradicts: claim ↔ claim
Assumed true (granted)
Checks each becomes a #guard, so a wrong expectation fails in Lean
3. Lean 4 script