Describing ideas across contexts
- aba71d292b312ed3e94342cb16f16ead6327e055 checkpoint
- 0bbde0c781245defe014f6e632e8d396083909fc new axioms
- ab275f36bb77d5e87e84b0e2d694356c3ede5753 checkpoint
- 2f72fd7d90a4405bb4cbe90e5228015f187de3eb new axioms
- 5f2efb81d34f18529422773c8307b316715c084b checkpoint
- e30f64376693dfb73b4fd17038084ad3e6d4f092 new axioms
- 375120f18d0c8d607d3bb94320231da444e5e894 checkpoint
- 5a2a3bda1351215bd45601b46bf5337a2f20a627 new axioms
- 6871c50980a8bea6eabd55fb3ffb5d5d5f541ff2 checkpoint
- 8e20607cc49b80df9a224533f541c059e1f842c7 new axioms
- 3cfddbc061ab02f6ee33a63211b4d3a20d15d61f checkpoint
- 2aab610329de9e7c8c9c10f36265579d5cfea178 new axiom
- 5c5f04e3a5ed07ad387b6c1869ec33fda661b0c0 Initial commit