brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-10-09 06:21:13 +00:00
Code Issues Projects Releases Packages Activity

Small changes

Browse source
This commit is contained in:
Brandon Rozek 2024-03-12 20:57:41 -04:00
parent ed2edb82b4
commit abbd0e8670
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
content/research/_index.md
View file

@ -36,7 +36,7 @@ unification algorithms, to building
tools for interactive theorem provers.
- With Andrew Marshall and Kimberly Cornell, we're currently developing a new syntactic AC algorithm.
- With Thomas Ferguson and James Oswald we formaliezd a model theory for a fragment of the Deontic Cognitive Event Calculus.
- With Thomas Ferguson and James Oswald we formalized a model theory for a fragment of the Deontic Cognitive Event Calculus.
- With James Oswald we've built interactive theorem provers and showed validity of large proofs in parallel using a high performance cluster.