2:58:04Experimenting a proof-assistant design based on refinement types: refactoring the syntaxArnaud Spiwack9 viewsView & Download
3:24:44Experimenting a proof-assistant design based on refinement types: a lispy syntax for tacticsArnaud Spiwack41 viewsView & Download
3:58:47Experimenting a proof-assistant design based on refinement types: tackling implication with focusingArnaud Spiwack25 viewsView & Download
1:30:42Refactoring & Design Techniques for the Test Driven Development by Roy OsheroveRoy Osherove12.8K viewsView & Download
1:30:42Refactoring & Design Techniques for the Test Driven Development - Roy OsheroveDevWeek Events2.5K viewsView & Download
3:07How to refactor using an AI-refactoring agentCodeScene - Next Generation Code Analysis 350 viewsView & Download
29:31Refactoring A Data Science Project Part 1 - Abstraction and CompositionArjanCodes80.8K viewsView & Download