NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

Learning diary › Year 2024 › November, 2024 › 2024-11-07 [2024-11-07]
✍️source

     
    #proof
- Isa Proof Shell