B.Sc. defense: Refactoring of Theory Graphs in Knowledge Representation SystemsNavid RouxLast updated on Nov 21, 2020Slides 📙 Full ThesisSee my full post on the B. Sc. thesis for more details.university research formal-systems mmtNavid RouxComputer Science M. Sc. StudentAcademically interested in formal systems for knowledge representation; recreationally in love with sports.RelatedTranslating Formalizations of Type Theories from Intrinsic to Extrinsic StyleA Beginner's Guide to Logical Relations for a Logical Framework (group-internal talk)Diagram OperatorsFrameITPresentation of "Diagram Operators in a Logical Framework" at LFMTP 2020