Skip to content
The AI Modelling Lab
The AI Modelling Lab
AIM High!
  • Members
  • Talks
  • Recent Publications
  • Projects
  • News
  • Potential PhD Topics
  • Vacancies

Event categories: Demos

A New Web Interface for the Archive of Formal Proofs

28th February 2020 Jacques Fleuriot
Date: 28th February 2020
Time: 00:00 - 00:00

I will be presenting my developments on a new implementation of the Archive of Formal Proofs. I'll be highlighting the key features of the current interface that have been replicated as well as new features that have been added.
Speaker: Jaydn Goodwin

Continue Reading →

Lab Events

  • Lab meeting @IF 1.15

    2nd June 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    16th June 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    30th June 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    14th July 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    28th July 2023  14:00 - 16:00

Some of the AIML Members (Spring 2023)

Some Recent Work

Digiflow at DemoFest 2019

Copyright © 2023 The AI Modelling Lab