narodnik / abstract-algebra-pinter-solutionsLinks
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
☆48Updated 2 years ago
Alternatives and similar repositories for abstract-algebra-pinter-solutions
Users that are interested in abstract-algebra-pinter-solutions are comparing it to the libraries listed below
Sorting:
- math notes under one roof☆28Updated 2 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆72Updated 2 months ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- DRAT proof processor☆14Updated 2 years ago
- I like to learn new things☆10Updated 2 years ago
- A spot to add introductory resources for people getting into the space☆25Updated 3 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)☆13Updated 2 years ago
- Extracting the semantics of Noir to Lean for formal verification☆33Updated this week
- Zero-knowledge Sudoku using zk-SNARKs☆46Updated 3 years ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated 2 years ago
- ☆47Updated last year
- A collection of huff examples.☆14Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆36Updated 3 months ago
- Cryptography In Rust For Hackers☆21Updated last year
- Intel assembly finite field library generator☆12Updated last year
- A Symbolic Execution Tool for Cairo☆16Updated 2 years ago
- ☆12Updated 2 months ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆13Updated 3 months ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- ☆13Updated 2 years ago
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- Bit Twister: A CLI tool for precise network traffic shaping. Simulate latency, bandwith limitation, drop packets, impose jitter with ease…☆16Updated last year
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Updated last month
- ☆41Updated 2 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Updated 3 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- ☆17Updated last week
- Notes from the 278 semester class at Harvard☆19Updated 3 weeks ago