Repository navigation

Kani

Add another video reference and update the description #299

Job	Run time
Proof unit tests (escrow)	38s
Proof unit tests (token-swap)	32s
Proof unit tests (betting-market)	11s
Proof unit tests (managed-fund)	45s
Proof unit tests (prop-amm)	9s
Proof unit tests (fundraiser)	15s
Proof unit tests (options)	42s
Proof unit tests (lending)	20s
Proof unit tests (order-book)	10s
Kani proofs (${{ matrix.program }})	-1s
	3m 41s