What are you working on? April 2011

jsalvatier

The is the second 'What are you working on?' thread. The last one is here. So here's the question:

What are you working on?

Here are some guidelines

Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started, those are for a different thread.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
Link to your work if it's linkable

The is the second 'What are you working on?' thread. The last one is here. So here's the question:

What are you working on?

Here are some guidelines

Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started, those are for a different thread.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
Link to your work if it's linkable

After some exploration, I decided math through type theory and proof assistants seems like the most attractive option.

I am fascinated by proof assistants, for approximately the same reasons you are. I think it would be very worthwhile for someone to put a real useable UI on top of a proof assistant, and sell it as an aid for learning mathematics. Keep us updated about what you find out.

Yes, part of the reason I am interested in this topic is that math seems like it should be taught formally.

7

What are you working on? April 2011

7

7

7

What are you working on? April 2011

7

7