jurgendntheory-assumption-extractor
Extract explicit and hidden assumptions from a proof, model, or empirical argument. Use for theorem reading, paper review, proposal critique, debugging proofs, conclusions that appear stronger than the stated setup, or determining which premises are logically necessary, proof conveniences, and where the argument breaks.
- 1시간 설치 수
- 2
- GitHub Stars
- 10
- 업데이트
- 9월 17일
