Metamath vs Learn Rust

This app allows you to view the Metamath theorems and their proofs. It has no ads or in-app purchases. Metamath is a system for formalizing and verifying math proofs. For information about Metamath, see the web site us.metamath.org or one of its mirror sites. For a demo of this app, see the youtube video at the url https://www.youtube.com/watch?v=qTOUBEACTz4&list=PLoh8e3Knr9WIEK55cIKwQe5e8CBpA3_ks

Learn Rust programming from your very first line of code to production-ready systems. This Rust course takes you step by step through the Rust language, then lets you specialize in web backends, game development, embedded systems, WebAssembly, AI and much more. Built for beginners and for developers coming from Python, JavaScript, C++ or Go. THE CORE RUST COURSE: 180 LESSONS • Getting started: rustup, Cargo, rust-analyzer and your first program • Fundamentals: variables, mut, shadowing, data types, operators, if, match and loops • Ownership and borrowing: moves, copies, references, lifetimes and fixing borrow checker errors • Strings, vectors, hash maps, sets and slices • Structs, enums, Option, Result, pattern matching, if let and let else • Modules, crates, Cargo.toml and multi-file projects • Error handling: panic!, the ? operator, custom errors, thiserror and anyhow • Generics, traits, trait objects, dispatch and lifetimes • Closures, iterators, map, filter and fold • Smart pointers: Box, Rc, Arc, RefCell, Weak, Deref and Drop • Files, CLI apps with Clap, Serde, JSON, CSV and TOML • Testing, debugging, logging, Clippy and Rustfmt • Concurrency: threads, channels, Mutex, RwLock, Send, Sync and Rayon • Async Rust: futures, async/await, the Tokio runtime and streams • Web backends: REST APIs with Axum, SQLx, PostgreSQL and authentication • Advanced Rust: unsafe, raw pointers, GATs, macro_rules!, procedural macros and C FFI • Performance: zero-cost abstractions, profiling and benchmarking • Shipping: workspaces, crates.io, Docker and CI/CD 38 SPECIALIZATION TRACKS Deep dives into the frameworks and fields where Rust shines: • Web development with Axum, WebAssembly (Wasm) • Game development with the Bevy engine • Desktop apps with Tauri and Iced, plus mobile app development • Databases with SQLx, vector search, RAG and Tantivy • Embedded systems and IoT, robotics with ROS 2, drones and automotive • Operating systems, Linux kernel drivers and eBPF • AI and machine learning, AI agents and LLM infrastructure, edge AI • Data engineering with Apache Arrow, Polars and DataFusion • Cybersecurity and cryptography, reverse engineering and blockchain • Cloud-native microservices, networking protocols, CLI tools and automation • Data structures and algorithms, design patterns, testing and compiler internals • Audio, video streaming, GIS, finance, healthcare and industrial automation LEARN BY DOING • Code playground: write and run Rust code right in the app • Quizzes after lessons and a quiz arena to test what you know • Hands-on projects that build real Rust applications step by step • Interview mode to prepare for Rust developer interviews • Rust cheat sheets for quick syntax lookups • AI tutor: ask about syntax, compiler errors or ownership and get a plain-English answer STAY ON TRACK • Spaced review that brings back what you are about to forget • Daily coding tips and learning streaks • Study goals, reminders, XP and achievements • Progress dashboard and statistics • Notes, bookmarks and your own code snippets • Fast search across every lesson and topic • Offline access: study on the train, on a plane or anywhere without internet • Light and dark themes WHY LEARN RUST? Rust is a modern, fast and memory-safe systems programming language. It has been voted one of the most loved programming languages for years, and Rust skills are in high demand. Whether you are learning to code for the first time or adding a fast language to your toolkit, this Rust tutorial app gives you a clear path from beginner to confident Rust developer. Some specialization tracks are part of Pro. Download now and start learning Rust today.