https://github.com/usc-fall-2024-math-587/homework1
Substitution ciphers
https://github.com/usc-fall-2024-math-587/homework1
crytography latex lean math
Last synced: 4 months ago
JSON representation
Substitution ciphers
- Host: GitHub
- URL: https://github.com/usc-fall-2024-math-587/homework1
- Owner: USC-Fall-2024-Math-587
- Created: 2024-08-27T17:11:30.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2024-09-03T13:15:31.000Z (about 1 year ago)
- Last Synced: 2025-03-04T08:04:15.885Z (7 months ago)
- Topics: crytography, latex, lean, math
- Language: Lean
- Homepage:
- Size: 73.2 KB
- Stars: 1
- Watchers: 0
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## Homework 1
This week we have a written part and an implementation part.
### Written part
Answer the questions found in `written.tex` and turn your answers in by uploading them
back here before midnight on the due date. You may do this as many times as
you want. Only your final submission counts.
Remember this is math class so be sure to justify your answers. You will be
graded on correctness and
Note: when you submit, your filename must be `solutions.pdf` and it must be a pdf.
(Hint: an adapted solution to the implementation could help you answer some
of the questions...)
### Implementation part
Remove the sorries in `hw.lean` to pass the tests. There are more detailed instructions in the comments.
Bonus points: create `better.lean` and have it (maybe)
- prompt the user for the desired shift
- use a custom substition table
- check if a phrase is encoded via Caesar cipher
- properly sanitize the user input