I noticed a duplication of home_controller in both C# and Eiffel, as well as math_model.
In addition, error_view_model.e is added.

Were these Eiffel files hand created?
Is this a workaround for now?  I would expect that eventually Eiffel for .NET Core would be relatively simple to use with C# side.
When is this likely to occur?