Link to certik.com blog post on Move Prover, solicit contributions (#…

…5942)

* Add Table entry to Aptos Glossary

* Link to certik.com blog post on Move Prover, solicit contributions on main index and Move index

* Add link to Awesome Move repo from Supporting Move resources list

Co-authored-by: Clay Murphy <[email protected]>
Co-authored-by: Clay Murphy <[email protected]>

developer-docs-site/docs/guides/move-guides/index.md

@@ -34,6 +34,7 @@ Then review our auto-generated contents for more [Move References](../../referen
 
 Use these external resources to learn about the core Move programming language.
 
+* [Formal Verification, the Move Language, and the Move Prover](https://www.certik.com/resources/blog/2wSOZ3mC55AB6CYol6Q2rP-formal-verification-the-move-language-and-the-move-prover)
 * [IMCODING Move Tutorials](https://imcoding.online/courses/move-language)
 * [Pontem Move Playground](https://playground.pontem.network/)
 * [Collection of nestable Move resources](https://github.com/taoheorg/taohe)
@@ -42,3 +43,6 @@ Use these external resources to learn about the core Move programming language.
 * [Move Tutorial](https://github.com/move-language/move/tree/main/language/documentation/tutorial)
 * [Move language repository](https://github.com/move-language/move)
 * [Move by example](https://move-book.com/)
+* [Awesome Move resources](https://github.com/MystenLabs/awesome-move)
+
+Add your own recommended Move resources here. Simply click *Edit this page* below to go to the source and trigger editing there. See [Markdown syntax](https://www.markdownguide.org/basic-syntax/) for help.

developer-docs-site/docs/index.md

@@ -136,9 +136,9 @@ Please remember, community managers will never message or DM you first, and they
 
 ## Join the team
 
-Want to join a great team working on amazing world-scale problems? Take a look at [active roles](https://aptoslabs.com/careers) on [AptosLabs.com](https://www.aptoslabs.com/) and come build with us!
+Want to join a great team working on amazing world-scale problems? Take a look at [active roles](https://aptoslabs.com/careers) on [AptosLabs.com](https://www.aptoslabs.com/) and come build with us! Or [create a pull request](https://github.com/aptos-labs/aptos-core/pulls) to make updates and [file issues](https://github.com/aptos-labs/aptos-core/issues) to report problems.
 
-Or simply [create a pull request](https://github.com/aptos-labs/aptos-core/pulls) to make updates and [file issues](https://github.com/aptos-labs/aptos-core/issues) to report problems.
+We welcome your own [contributions](https://github.com/aptos-labs/aptos-core/blob/main/CONTRIBUTING.md) to the Aptos blockchain and this site! Simply click *Edit this page* at the bottom of any location to go to the source and trigger editing there. The contents are in [Markdown](https://www.markdownguide.org/basic-syntax/) format. When ready, [start a pull request](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/creating-a-pull-request) with your changes. We will get back to you shortly.
 
 ## Find the ecosystem
 

developer-docs-site/docs/reference/glossary.md

@@ -291,6 +291,12 @@ See [Resource accounts](../guides/resource-accounts.md).
 
 ## T
 
+### Table
+
+- A [**table**](https://github.com/aptos-labs/aptos-core/blob/main/aptos-move/framework/aptos-stdlib/doc/table.md) implements the Table type and in Aptos is used to store information as key-value data within an account at large scale.
+
+See [`table.move`](https://github.com/aptos-labs/aptos-core/blob/main/aptos-move/framework/aptos-stdlib/sources/table.move) for the associated Aptos source file.
+
 ### Transaction
 
 - A raw **transaction** contains the following fields:

developer-docs-site/docs/whats-new-in-docs.md

@@ -7,6 +7,10 @@ slug: "whats-new-in-docs"
 
 This page shows the key updates to the developer documentation on this site.
 
+## 20 December 2022
+
+- Added [Formal Verification, the Move Language, and the Move Prover](https://www.certik.com/resources/blog/2wSOZ3mC55AB6CYol6Q2rP-formal-verification-the-move-language-and-the-move-prover) blog post from the community to the [Supporting Move resources](guides/move-guides/index.md#supporting-move-resources) list.
+
 ## 14 December 2022
 
 - Noted you may employ the [Aptos Name Service](https://www.aptosnames.com/) to secure .apt domains for key [accounts](concepts/accounts.md).