Similar repositories to cjerdonek/formal-rcv: