Subject: Theorem Proving

Enhancing a Theorem Prover written in Haskell

Andrew Butterfield (email | all projects)

A theorem prover “reasonEq” , written in Haskell, is currently under development. It is intended to support reasoning about the meaning and correctness of programs. It supports an easy to use proof style for predicate calculus known as “equational reasoning” – very similar to the kind of algebraic reasoning used in most mathematics found in … Read more

Subject Areas

3D graphics AI AI: Artificial Intelligence Ai Ethics Artificial Intelligence Augmented Reality Biostatistics CAVs classification climate change clustering Communication Protocols Computer Architecture Computer Science Education Computer Vision Connected Autonomous Vehicles Data Analytics data mining Education electroencephalography FPGA generative models graphics and vision Haskell Information-Centric Networking Intelligent Transportation Systems language Machine Learning Natural Language Processing NDN networking neural networks neuroscience NLP programming QUIC Reinforcement Learning Security/Privacy Signal processing Speech Statistics Sustainability technology & learning technology and learning virtual reality

Supervisors

Login
Add Project
Edit Projects

Scroll back to top