Qasim Ashraf profile picture

Qasim Ashraf

@qasimashraf Tasks followed: 0
Beginner
Joined: November 2023

Latest comments and ratings

On Moogle
Qasim Ashraf profile picture
Qasim Ashraf
Nov 3, 2023
The result is redirecting to this Repo on GitHub which does not exist. https://github.com/leanprover-community/mathlib4
Useful? / Reply Share

Help

⌘ + D bookmark this site for future reference
⌘ + ↑/↓ go to top/bottom
⌘ + ←/→ sort chronologically/alphabetically
↑↓←→ navigation
Enter open selected entry in new tab
⇧ + Enter open selected entry in new tab
⇧ + ↑/↓ expand/collapse list
/ focus search
Esc remove focus from search
A-Z go to letter (when A-Z sorting is enabled)
+ submit an entry
? toggle help menu
✕
0 AIs selected
Clear selection
#
Name
Task