Added Frédéric's homepage.

This commit is contained in:
Achim D. Brucker 2020-05-23 11:24:12 +01:00
parent 66be3e6e46
commit e3caf3c118
1 changed files with 1 additions and 1 deletions

View File

@ -18,7 +18,7 @@ isabelle build -D Featherweight_OCL
## Authors
* [Achim D. Brucker](http://www.brucker.ch/)
* Frédéric Tuong
* [Frédéric Tuong]({https://www.scss.tcd.ie/frederic.tuong/)
* [Burkhart Wolff](https://www.lri.fr/~wolff/)
## License