link to docs and updated default example - concept-collection/proofery-web

concept-collection / proofery-web

link to docs and updated default example

Jeremy Magland <jmagland@flatironinstitute.org> committed 7 months ago commit aa4abe6be934 parent 923e78d Browse files

2 changed files+13−3

src/App.tsxmodified+2−1View file

@@ -26,7 +26,8 @@ theorem reflexivity

2626 suppose x : Nat

2727 conclude eq(x, x)

2828 proof

29- exact my_axiom

29+ calculate x

30+ = x by-lhs my_axiom x

3031 `;

3132

3233 function App() {

src/components/AppBar.tsxmodified+11−2View file

@@ -1,5 +1,5 @@

11 import { AppBar as MuiAppBar, Toolbar, Typography, Button, Box } from '@mui/material';

2-import { Download } from '@mui/icons-material';

2+import { Download, MenuBook } from '@mui/icons-material';

33

44 interface AppBarProps {

55 onDownload: () => void;

@@ -12,7 +12,16 @@ const AppBar: React.FC<AppBarProps> = ({ onDownload }) => {

1212 <Typography variant="h6" component="div" sx={{ flexGrow: 1 }}>

1313 Proofery - Proof Verification (WIP)

1414 </Typography>

15- <Box>

15+ <Box sx={{ display: 'flex', gap: 1 }}>

16+ <Button

17+ color="inherit"

18+ startIcon={<MenuBook />}

19+ href="https://github.com/magland/proofery"

20+ target="_blank"

21+ rel="noopener noreferrer"

22+ >

23+ Docs

24+ </Button>

1625 <Button

1726 color="inherit"

1827 startIcon={<Download />}