GitHub repository: liveontologies/puli
Primary language: Java
Description: A library for manipulating with proofs that use inference rules