![[Lean Notes Robots.png]] # What is the Math Portfolio Method? - The `Math Portfolio Method` is the curation process used to publish the LeanNotes wiki with the highest possible academic quality. This process is intended verify that the web pages are high quality and that the contributors who wish to create portfolios of their work have attained mastery of using the Lean language at levels of competence including : - High School level - Undergrad level - Research level - Professional level - Math Portfolios are interrelated collections of LeanNotes.wiki web pages. They are curated for accuracy, usefulness and relevant citations by authors (students) and advisors (teachers and mentors) that are members of the LeanNotes community. - Math Portfolios can be useful for job-seekers, admission applications, resumes, and class note-taking. --- # The Math Portfolio Method - concepts and roles ![[knowledge 64.png]] The **Lean Notes website**: The Lean Notes website is a curated wiki that links and organizes information regarding all things Lean. The platform is optimized to present a `portfolio` of work for the Lean Note authors, The portfolio view of the Lean Notes website is suitable for supplementing admissions and employment application documentation. ![[writing 64.png]] **Note**: Lean notes are organized and linked in the usual way of a wiki. Also, credits for authoring is provided by tagging, similar to the [Stack Exchange platforms](https://proofassistants.stackexchange.com). Notes are created and published with the [Obsidian application](https://obsidian.md). ![[machine-learning 64.png]] **Portfolio**: Authors create and maintain a portfolio home page with links to their `Lean notes.` Pertinent personal, academic and professional information can also be included in their home page. ![[teamwork 64.png]] **Teams**: Teams build and maintain Lean notes. All teams include at least one author and advisor. - The same person can fulfill multiple Lean Note roles. A advisor in one subject area can be an author, a peer, or a curator in another. ![[friends 64.png]] **Peers**: Peers collaborate with authors. Peers are credited as secondary owners on the notes that they assist authors with. ![[recording 64.png]] **Authors**: Authors are the principal creators of the notes in a portfolio. They can collaborate with `peers`. They always work with an advisor. ![[pensioner 64.png]] **Advisors**: Advisors provide guidance and approval of an authors portfolio notes. ![[approved 64.png]] **Curators**: Curators upload portfolio notes for authors. They maintain and tidy up the portfolios. ![[processing 64.png]] **Process**: The process of posting an note into a portfolio involves: 1. Collecting and organizing resources that are used to create the note 2. Writing up the note in the Obsidian app and optionally creating a descriptive video. 3. Submitting the work to a qualified mentor and optionally to a peer for review and approval. This will usually involve working with your mentor and peer to polish and refine your work. 4. Requesting the website curator to upload your note. ![[tool-box 64.png]] **Tools**: The tools used to create Lean notes can include: - [[Gemini 3]], Claude, ChatGPT, etc - [Obsidian](https://obsidian.md) - [Goodnotes](https://www.goodnotes.com) - [Drawio](https://www.drawio.com) - [ScreenPal](https://screenpal.com)