Skip to content
View chrisjpm's full-sized avatar
☁️
☁️
17 followers · 9 following
  • NHS Lothian
  • Edinburgh, Scotland, United Kingdom
  • 07:10 (UTC)
  • X @chris_jpm

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Organizations

@DeliverED-Home

Block or report chrisjpm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
chrisjpm/README.md

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

Pinned Loading

  1. liamoc/holbert liamoc/holbert Public

    A graphical interactive proof assistant designed for education

    Haskell 161 6

  2. Swimming-Relay-Order-Calculator Swimming-Relay-Order-Calculator Public

    This website lets users save swimmer demographics to a Google Cloud MySQL database and run reports for different really requirements. Records are ranked and can be saved as a CSV.

    JavaScript

  3. inf3-ilp-cw2 inf3-ilp-cw2 Public

    UoE Informatics Large Practical Coursework 2 - Air Quality Map

    Java 1

  4. CV CV Public

    TeX