Skip to content

Activity

Showing most recent first

doc update

mtumilowiczpushed 1 commit to main • 0b97842…f243c3d • 
on Jan 26

Update README.md

mtumilowiczpushed 1 commit to main • 8820e9e…0b97842 • 
on Dec 12, 2024

Update README.md

mtumilowiczpushed 1 commit to main • 56a62fc…8820e9e • 
on Dec 12, 2024

Update README.md

mtumilowiczpushed 1 commit to main • e624ada…56a62fc • 
on Dec 12, 2024

Update README.md

mtumilowiczpushed 1 commit to main • f5567cf…e624ada • 
on Oct 21, 2024

Update README.md

mtumilowiczpushed 1 commit to main • 3f984ff…f5567cf • 
on Mar 31, 2024

doc update

mtumilowiczpushed 1 commit to main • c547bbb…3f984ff • 
on Mar 29, 2024

doc update

mtumilowiczpushed 1 commit to main • 524bddf…c547bbb • 
on Mar 29, 2024

doc update

mtumilowiczpushed 1 commit to main • 272275e…524bddf • 
on Mar 29, 2024

doc update

mtumilowiczpushed 1 commit to main • be551ac…272275e • 
on Mar 24, 2024

doc update

mtumilowiczpushed 1 commit to main • 049c0f3…be551ac • 
on Mar 24, 2024

doc update

mtumilowiczpushed 1 commit to main • e36e7b4…049c0f3 • 
on Mar 24, 2024

pt6_UnionType

mtumilowiczpushed 1 commit to main • 9b373e5…e36e7b4 • 
on Mar 24, 2024

pt5_LogicProofs

mtumilowiczpushed 1 commit to main • 2605e27…9b373e5 • 
on Mar 24, 2024

Update README.md

mtumilowiczpushed 1 commit to main • bcef6da…2605e27 • 
on Mar 23, 2024

Update README.md

mtumilowiczpushed 1 commit to main • 2eff398…bcef6da • 
on Mar 22, 2024

Update README.md

mtumilowiczpushed 1 commit to main • a03d5ea…2eff398 • 
on Mar 22, 2024

Update README.md

mtumilowiczpushed 1 commit to main • b2b43de…a03d5ea • 
on Mar 22, 2024

Update README.md

mtumilowiczpushed 1 commit to main • 128f027…b2b43de • 
on Mar 22, 2024

Rename README.txt to README.md

mtumilowiczpushed 1 commit to main • 4347b5d…128f027 • 
on Mar 19, 2024

doc update

mtumilowiczpushed 1 commit to main • 8b3afcc…4347b5d • 
on Mar 17, 2024

doc update

mtumilowiczpushed 1 commit to main • e7c59f7…8b3afcc • 
on Mar 16, 2024

doc update

mtumilowiczpushed 1 commit to main • d891601…e7c59f7 • 
on Mar 16, 2024

Update README.md

mtumilowiczpushed 1 commit to main • ff4c022…d891601 • 
on Mar 16, 2024

Update README.md

mtumilowiczpushed 1 commit to main • 7b7c1d7…ff4c022 • 
on Mar 16, 2024

Update README.md

mtumilowiczpushed 1 commit to main • ae1eb21…7b7c1d7 • 
on Mar 11, 2024

doc update & license

mtumilowiczpushed 1 commit to main • f72c689…ae1eb21 • 
on Mar 10, 2024

travis

mtumilowiczpushed 1 commit to main • ad79458…f72c689 • 
on Mar 10, 2024

doc updateΩ

mtumilowiczpushed 1 commit to main • a1676f9…ad79458 • 
on Mar 10, 2024

tests

mtumilowiczpushed 1 commit to main • 4e37c8e…a1676f9 • 
on Mar 10, 2024