Update change log

Author: mrjazzybread

CHANGES.md

@@ -17,7 +17,7 @@
   [\#428](https://github.com/ocaml-gospel/gospel/pull/428)
 - Rewrote the Gospel standard library to focus on the definition of
   mathematical objects.
-  [\#423] (https://github.com/ocaml-gospel/gospel/pull/423)
+  [\#423](https://github.com/ocaml-gospel/gospel/pull/423)
 - Fix typing of expression with inlined record
   [\#420](https://github.com/ocaml-gospel/gospel/pull/420)
 - Improve error message for unbound record fields
@@ -40,6 +40,8 @@
   [\#445](https://github.com/ocaml-gospel/gospel/pull/445)
 - Add documentation and refactor Tmodule
   [\#442](https://github.com/ocaml-gospel/gospel/pull/442)
+- Gospel type checker rewrite
+  [#449](https://github.com/ocaml-gospel/gospel/pull/449#issuecomment-2865879545)
 
 # 0.3
 

README.md

@@ -172,7 +172,7 @@ See the [LICENSE](LICENSE) file for more information.
 Gospel was initially developed by Cláudio Lourenço (LRI postdoctorate).
 
 It is currently maintained by Jean-Christophe Filliâtre, Samuel Hym, Nicolas
-Osborne, Clément Pascutto, and Mário Pereira.
+Osborne, Clément Pascutto, Mário Pereira and Tiago Soares
 
 The full list of contributors is available
 [here](https://github.com/ocaml-gospel/gospel/graphs/contributors).

gospel.opam

@@ -13,6 +13,7 @@ authors: [
   "Nicolas Obsorne"
   "Clément Pascutto"
   "Mário Pereira"
+  "Tiago Soares"
 ]
 license: "MIT"
 homepage: "https://github.com/ocaml-gospel/gospel"