mltt topic
                        List
                        mltt repositories
                    
                HoTT-UF-Agda-Lecture-Notes
                            
                                213
                            
                            
                        
                        Stars
                    
                            
                                18
                            
                            
                        
                        Forks
                    Watchers
                    Lecture notes on univalent foundations of mathematics with Agda
groupoid.space
                            
                                35
                            
                            
                        
                        Stars
                    
                            
                                13
                            
                            
                        
                        Forks
                    Watchers
                    π§ ΠΠ½ΡΡΠΈΡΡΡ ΡΠΎΡΠΌΠ°Π»ΡΠ½ΠΎΡ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ
anders
                            
                                18
                            
                            
                        
                        Stars
                    
                            
                                1
                            
                            
                        
                        Forks
                    Watchers
                    Anders: Cubical Type Checker
anders
                            
                                17
                            
                            
                        
                        Stars
                    
                            
                                3
                            
                            
                        
                        Forks
                    Watchers
                    π§ ΠΠΎΠ΄Π°Π»ΡΠ½ΠΈΠΉ Π³ΠΎΠΌΠΎΡΠΎΠΏΡΡΠ½ΠΈΠΉ Π²Π΅ΡΠΈΡΡΠΊΠ°ΡΠΎΡ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ