chrisjpm/inf3-ilp-cw2

UoE Informatics Large Practical Coursework 2 - Air Quality Map

Hey there 👋

I'm Chris - an eHealth Software Developer at NHS Lothian, and an Edinburgh Uni graduate in Artificial Intelligence and Computer Science.

📌 Notable Projects

Holbert (Honours Project)

    • Holbert is a proof assistant geared towards beginners to automated reasoning for use in the class room
    • I was responsible for the implementation of applying rules by elimination, proofs by induction and proofs by cases.
    • Dissertation: Mechanising Applying Rules by Eliminaion, Proofs by Induction and Proofs by Cases in the Holbert PA
    • My Forked Repo Source Repo Demo

Swimming Relay Order Calculator (Adv. Higher CS Assignment)

    • A calculator for ranking combinations of swimmers for different relay specifications
    • Repo

💬 Contact Me

Twitter • Discord • LinkedIn • Email