H

HoTT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Mar 24, 2024 — Apr 23, 2024 Showing page 1 of 3 Search / Filter on:
Merge pull request #1923 from Alizter/ps/rr/remove_funext_from_double_recursion_principle	Ali Caglayan	More...				7 days ago
Merge pull request #1920 from Alizter/ps/rr/cleanup_lists	Ali Caglayan	More...				7 days ago
Merge pull request #1919 from Alizter/ps/rr/coproduct_product_inclusion_map	Ali Caglayan	More...				7 days ago
export List.Core	Ali Caglayan	More...				7 days ago
Merge pull request #1916 from Alizter/ps/rr/left_module_basics	Ali Caglayan	More...				7 days ago
Homotopy/Wedge: minor cleanups	Dan Christensen	More...				7 days ago
remove funext from double recursion principle	Ali Caglayan	More...				8 days ago
change fwedge_incl back to FamilyWedge	Ali Caglayan	More...				8 days ago
fix issue with instances	Ali Caglayan	More...				8 days ago
review comments	Ali Caglayan	More...				8 days ago
cleanup spacing and remove ...	Ali Caglayan	More...				8 days ago
remove dependency on canonical_names	Ali Caglayan	More...				8 days ago
redefine fwedge_incl using cat_coprod_prod_incl	Ali Caglayan	More...				8 days ago
Rings/Module.v: minor cleanups	Dan Christensen	More...				8 days ago
more comments	Ali Caglayan	More...				9 days ago
Merge pull request #1917 from Alizter/ps/rr/more_list_functions___truncation_level_of_lists	Ali Caglayan	More...				9 days ago
cleanup lists	Ali Caglayan	More...				9 days ago
typo	Ali Caglayan	More...				9 days ago
review comments	Ali Caglayan	More...				9 days ago
coproduct-product inclusion map	Ali Caglayan	More...				9 days ago
Merge pull request #1918 from jdchristensen/requires	Ali Caglayan	More...				9 days ago
Remove unneeded Require commands, e.g. Types.Forall and others	Dan Christensen	More...				9 days ago
Require canonical_names instead of abstract_algebra in 8 files	Dan Christensen	More...				9 days ago
truncation level of lists	Ali Caglayan	More...				10 days ago
Merge pull request #1912 from Alizter/noncomm-rings	Ali Caglayan	More...				11 days ago
fix comment about using merely to avoid funext	Ali Caglayan	More...				11 days ago
Merge pull request #1908 from Alizter/ps/rr/add_missing_coherences_to_pathgroupoids_v_from_wildcat_paths_v	Ali Caglayan	More...				11 days ago
address review comemnts and remove funext from Ideal.v/CRing.v	Ali Caglayan	More...				11 days ago
Merge pull request #1907 from Alizter/ps/rr/i_indexed_coproducts_in_ptype	Ali Caglayan	More...				11 days ago
fix typo in concat_p_pp_nat_r	Ali Caglayan	More...				11 days ago

←
1
2
3
→