https://github.com/UofSC-Fall-2022-Math-300-H01/homework0

A short lists of tasks to help get you used to the tools we will use in the course.
https://github.com/UofSC-Fall-2022-Math-300-H01/homework0

latex lean4 math proof

Last synced: 2 months ago
JSON representation

A short lists of tasks to help get you used to the tools we will use in the course.

• Host: GitHub
• URL: https://github.com/UofSC-Fall-2022-Math-300-H01/homework0
• Owner: UofSC-Fall-2022-Math-300-H01
• Created: 2022-08-12T19:18:36.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-09-29T18:47:35.000Z (over 2 years ago)
• Last Synced: 2024-08-10T14:20:57.641Z (6 months ago)
• Topics: latex, lean4, math, proof
• Language: TeX
• Homepage:
• Size: 280 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/UofSC-Fall-2022-Math-300-H01/homework0)

## Homework 0

Welcome to the Fall 2022 Math 300 -- Transitions to Advanced Mathematics. This assignment is intended to 

familiarize you with tools used in this course.

- If you don't have an account at GitHub, sign up at [https://github.com/join](https://github.com/join).

- Send me your GitHub username. 

- Open https://gitpod.io/#https://github.com/UofSC-Fall-2022-Math-300-H01/homework0

or click on the GitPod icon above. You may have to create an account. Note you can use your GitHub 

account. 

- Open `main.tex` in the side bar. 



  



- Click on the TeX icon > View Latex PDF > View in web browser and then click through the popup. This 

will open up the pdf in a separate tab/window. 



  



- Try to edit `main.tex`, save your edits, and refresh the tab with the viewer to see the changes.

- Close the `main.tex` tab and the separate pdf viewer and open `Hw0.lean`. 

- Put your cursor at the end of  `#eval 1 + 1`. It should look like 



  



- When you are satisfied, stop your workspace. Hit `F1` and select `Gitpod: Stop Workspace`. If 

you don't see it in the search bar that pops up, start typing it and it show up. 

Note that only thing I expect to receive from you is your GitHub username and any complaints :)