philosophy / knowledge.mdon commit geometric proofs with vectors (2183c3a)
   1