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

Achievements

Achievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Pull Shark
BetaSend feedback

Organizations

@DeliverED-Home
Block or Report

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

  1. liamoc/holbert liamoc/holbert Public

    A graphical interactive proof assistant designed for education

    Haskell 161 5

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

    This website lets users save swimmers details and their PBs to a Google Cloud MySQL database. The user can then specify the requirements for a relay team, and on submission they will receive a repo…

    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