Safety-Critical Software

Here is some $\cos(2\pi\,\theta)$ for you, and $\sin \int_0^\infty\cos e^{-x^2}dx$ for $110 as well.

$$\sin \int_0^\infty\cos e^{-x^2}dx$$

Next steps

graph LR
	A[Create a new page] --> B[Edit the page]
	B --> C[Preview the page]
	E --> F[Publish the page]
	F --> G[Done]

Update content

Edit src/content/docs/index.mdx to see this page change.

Add new content

Add Markdown or MDX files to src/content/docs to create new pages.

Configure your site

Edit your sidebar and other config in astro.config.mjs.

Read the docs

Learn more in the Starlight Docs.